Martin Churchill

Identifiers

• name variant Martin Churchill 0.60 · backfill

Papers (2)

1. Imperative Programs as Proofs via Game Semantics cs.LO · 2013 · author #1
2. A Concrete Representation of Observational Equivalence for PCF cs.LO · 2010 · author #1

Mentions

• 1307.2004 #1 · backfill · confidence 0.70 Martin Churchill
• 1003.0107 #1 · backfill · confidence 0.70 Martin Churchill

Frequent Coauthors

• Guy McCusker 2 shared papers
• James Laird 1 shared papers
• Jim Laird 1 shared papers