Martin Churchill
Martin Churchill
Verifierad e-postadress på swansea.ac.uk
TitelCiteras avÅr
Reusable components of semantic specifications
M Churchill, PD Mosses, N Sculthorpe, P Torrini
Transactions on Aspect-Oriented Software Development XII, 132-179, 2015
482015
Modular Bisimulation Theory for Computations and Values
M Churchill, PD Mosses
Foundations of Software Science and Computation Structures, 97-112, 2013
192013
Imperative programs as proofs via game semantics
M Churchill, J Laird, G McCusker
Annals of Pure and Applied Logic 164 (11), 1038-1078, 2013
82013
A logic of sequentiality
M Churchill, J Laird
International Workshop on Computer Science Logic, 215-229, 2010
52010
Modular Semantics for Transition System Specifications with Negative Premises
M Churchill, PD Mosses, MR Mousavi
CONCUR 2013 – Concurrency Theory 8052, 46-60, 2013
32013
Abstract semantics for a simple quantum programming language
M Churchill
University of Oxford, 2007
32007
Categorical Semantics for a Quantum Language
M Churchill
2010
A Concrete Representation of Observational Equivalence for PCF
M Churchill, J Laird, G McCusker
arXiv preprint arXiv:1003.0107, 2010
2010
BLC 2009-Abstracts
M Baartse, M Churchill
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–9