Martin Churchill
My interests center around programming language semantics. I have previously worked in semantics for a quantum language, game semantics, and a modular semantics framework.
Research Areas
Authored Publications
Sort By
Google
Reusable Components of Semantic Specifications
Peter D. Mosses
Neil Sculthorpe
Paolo Torrini
Lecture Notes in Computer Science, 8989 (2015), pp. 132-179
