Follow
Martin Churchill
Martin Churchill
Verified email at swansea.ac.uk
Title
Cited by
Cited by
Year
Reusable components of semantic specifications
M Churchill, PD Mosses, P Torrini
Proceedings of the 13th international conference on Modularity, 145-156, 2014
602014
Modular Bisimulation Theory for Computations and Values
M Churchill, PD Mosses
Foundations of Software Science and Computation Structures, 97-112, 2013
232013
Imperative programs as proofs via game semantics
M Churchill, J Laird, G McCusker
Annals of Pure and Applied Logic 164 (11), 1038-1078, 2013
112013
A logic of sequentiality
M Churchill, J Laird
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010
62010
Modular Semantics for Transition System Specifications with Negative Premises
M Churchill, PD Mosses, MR Mousavi
CONCUR 2013 – Concurrency Theory 8052, 46-60, 2013
42013
Abstract semantics for a simple quantum programming language
M Churchill
University of Oxford, 2007
32007
A concrete representation of observational equivalence for PCF
M Churchill, J Laird, G McCusker
arXiv preprint arXiv:1003.0107, 2010
12010
Component-Based Dynamic Semantics for Caml Light
M Churchill, PD Mosses
2013
Categorical Semantics for a Quantum Language
M Churchill
2010
BLC 2009-Abstracts
M Baartse, M Churchill
The system can't perform the operation now. Try again later.
Articles 1–10