eCite Digital Repository

Linear, Strictness and Usage Logics


Wright, DA, Linear, Strictness and Usage Logics, Computing: The Australasian Theory Symposium, Melbourne, Australia, pp. 73-80. (1996) [Refereed Conference Paper]

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Software engineering
Research Field:Programming languages
Objective Division:Information and Communication Services
Objective Group:Other information and communication services
Objective Field:Other information and communication services not elsewhere classified
UTAS Author:Wright, DA (Dr David Wright)
ID Code:8633
Year Published:1996
Deposited By:Computer Science
Deposited On:1996-08-01
Last Modified:1997-02-01

Repository Staff Only: item control page