eCite Digital Repository

Author: Mason, IA (Dr Mason)

Number of items: 5

Journal Article
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] 
Conference Publication
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 Dec 9 04:14:22 2019.