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] |
Data Type | Value |
Type of Research | Pure Basic Research |
Research Division | Information and Computing Sciences |
Research Group | Theory of computation |
Research Field | Theory of computation not elsewhere classified |
Research Objective Division | Information and Communication Services |
Research Objective Group | Other information and communication services |
Research Objective Field | Other information and communication services not elsewhere classified |
Visit Item on eCite | http://ecite.utas.edu.au/9167 |