Segui
Martin Churchill
Martin Churchill
Email verificata su swansea.ac.uk
Titolo
Citata da
Citata da
Anno
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
122013
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
42007
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
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–10