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: | 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 |
| Downloads: | 0 |
Repository Staff Only: item control page