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.

Google Publications

Previous Publications

  •  

    Imperative Programs as Proofs via Game Semantics

    Martin Churchill, Jim Laird, Guy McCusker

    CoRR, vol. abs/1307.2004 (2013)

  •  

    Imperative programs as proofs via game semantics

    Martin Churchill, Jim Laird, Guy McCusker

    Ann. Pure Appl. Logic, vol. 164 (2013), pp. 1038-1078

  •  

    Modular Bisimulation Theory for Computations and Values

    Martin Churchill, Peter D. Mosses

    FoSSaCS (2013), pp. 97-112

  •  

    Modular Semantics for Transition System Specifications with Negative Premises

    Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi

    CONCUR (2013), pp. 46-60

  •  

    Imperative Programs as Proofs via Game Semantics

    Martin Churchill, James Laird, Guy McCusker

    LICS (2011), pp. 65-74

  •  

    A Concrete Representation of Observational Equivalence for PCF

    Martin Churchill, James Laird, Guy McCusker

    CoRR, vol. abs/1003.0107 (2010)

  •  

    A Logic of Sequentiality

    Martin Churchill, James Laird

    CSL (2010), pp. 215-229