Number of items: 5
|Mason, IA and Smith, SF and Talcott, CL, From Operational Semantics to Domain Theory, Information and Computation, 128, (1) pp. 26-47. ISSN 0890-5401 (1996) [Refereed Article]|
|Honsell, F and Mason, IA and Smith, SF and Talcott, CL, A Variable Typed Logic of Effects, Information and Computation, 119, (1) pp. 55-90. ISSN 0890-5401 (1995) [Refereed Article]|
|Buvac, S and Buvac, V and Mason, IA, Metamathematics of contexts, Fundamenta Informaticae, 23, (2-4) pp. 263-301. ISSN 0169-2968 (1995) [Refereed Article]|
|Mason, IA and Talcott, CL, Reasoning about Object Systems in VTLoE, International Journal of Foundations on Computer Science, 6, (3) pp. 265-298. ISSN 0129-0541 (1995) [Refereed Article]|
|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]|
This list was generated on Mon Jan 17 19:37:16 2022.