eCite Digital Repository

An Operational Logic of Effects


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:Theory of computation
Research Field:Theory of computation not elsewhere classified
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: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

Repository Staff Only: item control page