Guy McCusker

Identifiers

• name variant Guy McCusker 0.60 · backfill

Papers (4)

1. Interaction Improvement cs.LO · 2026 · author #3
2. Imperative Programs as Proofs via Game Semantics cs.LO · 2013 · author #3
3. A Concrete Representation of Observational Equivalence for PCF cs.LO · 2010 · author #3
4. A Graph Model for Imperative Computation cs.LO · 2009 · author #1

Mentions

• 1307.2004 #3 · backfill · confidence 0.70 Guy McCusker
• 1003.0107 #3 · backfill · confidence 0.70 Guy McCusker
• 0910.5399 #1 · backfill · confidence 0.70 Guy McCusker

Frequent Coauthors

• Martin Churchill 2 shared papers
• Adrienne Lancelot 1 shared papers
• Gabriele Vanoni 1 shared papers
• Giulio Manzonetto 1 shared papers
• James Laird 1 shared papers
• Jim Laird 1 shared papers