eCite Digital Repository

Linear, Strictness and Usage Logics

Citation

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:Computer Software
Research Field:Programming Languages
Objective Division:Information and Communication Services
Objective Group:Other Information and Communication Services
Objective Field:Information and Communication Services not elsewhere classified
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
Downloads:0

Repository Staff Only: item control page