File(s) not publicly available
Linear, Strictness and Usage Logics
conference contribution
posted on 2023-05-23, 02:25 authored by Wright, DANo description available
History
Volume
18Editors
M.E. Houle & P. EadesPagination
73-80Department/School
School of Information and Communication TechnologyPublisher
Australian Computer Science CommunicationsEvent title
Computing: The Australasian Theory SymposiumEvent Venue
Melbourne, AustraliaDate of Event (Start Date)
1996-01-01Date of Event (End Date)
1996-01-01Repository Status
- Restricted