Ford, Jonathan; Mason, Ian A. Formal foundations of operational semantics. (English) Zbl 1074.68033 High.-Order Symb. Comput. 16, No. 3, 161-202 (2003). MSC: 68Q55 68T15 PDFBibTeX XMLCite \textit{J. Ford} and \textit{I. A. Mason}, High.-Order Symb. Comput. 16, No. 3, 161--202 (2003; Zbl 1074.68033) Full Text: DOI
Mason, Ian A. Computing with contexts. (English) Zbl 0936.03016 High.-Order Symb. Comput. 12, No. 2, 171-201 (1999). MSC: 03B40 03B70 68T15 68Q55 03B35 68N18 PDFBibTeX XMLCite \textit{I. A. Mason}, High.-Order Symb. Comput. 12, No. 2, 171--201 (1999; Zbl 0936.03016) Full Text: DOI
Mason, Ian A. A first order logic of effects. (English) Zbl 0901.68182 Theor. Comput. Sci. 185, No. 2, 277-318 (1997). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{I. A. Mason}, Theor. Comput. Sci. 185, No. 2, 277--318 (1997; Zbl 0901.68182) Full Text: DOI
Buvač, Saša; Buvač, Vanja; Mason, Ian A. Metamathematics of contexts. (English) Zbl 0844.03014 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2-4, 263-301 (1995). Reviewer: J.Šefránek (Bratislava) MSC: 03B60 68T27 03B45 PDFBibTeX XMLCite \textit{S. Buvač} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2--4, 263--301 (1995; Zbl 0844.03014)