eCite Digital Repository

An Operational Logic of Effects

Citation

Frost, J and Mason, IA, An Operational Logic of Effects, Computing: The Australasian Theory Symposium (CATS'96), Melbourne, pp. 147-158. (1996) [Refereed Conference Paper]

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Computation Theory and Mathematics
Research Field:Computation Theory and Mathematics not elsewhere classified
Objective Division:Information and Communication Services
Objective Group:Other Information and Communication Services
Objective Field:Information and Communication Services not elsewhere classified
Author:Mason, IA (Dr Mason)
ID Code:9167
Year Published:1996
Deposited By:Applied Computing and Mathematics
Deposited On:1996-08-01
Last Modified:1997-02-01
Downloads:0

Repository Staff Only: item control page