Travelled to:1 × Canada
1 × Denmark
1 × Italy
1 × United Kingdom
3 × Switzerland
4 × USA
Collaborated with:S.Abramsky ∅ J.Laird G.Manzonetto D.J.Pym D.R.Ghica R.Harmer A.Santamaria M.Churchill J.Laird K.Honda M.Pagani
Talks about:game (8) abstract (5) semant (3) model (3) fulli (3) categori (2) relat (2) full (2) nondetermin (1) deconstruct (1)
Person: Guy McCusker
DBLP: McCusker:Guy
Contributed to:
2013
20112011
200720022000199919981997199619952018Wrote 12 papers:
- LICS-2013-LairdMMP #modelling #relational #λ-calculus
- Weighted Relational Models of Typed λ-Calculi (JL, GM, GM, MP), pp. 301–310.
- ICALP-v2-2011-LairdMM #category theory #difference #game studies
- Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.
- LICS-2011-ChurchillLM #game studies #imperative #proving #semantics #source code
- Imperative Programs as Proofs via Game Semantics (MC, JL, GM), pp. 65–74.
- CSL-2007-McCuskerP #game studies
- A Games Model of Bunched Implications (GM, DJP), pp. 573–588.
- CSL-2002-McCusker #relational
- A Fully Abstract Relational Model of Syntactic Control of Interference (GM), pp. 247–261.
- ICALP-2000-GhicaM #algol #reasoning #regular expression #using
- Reasoning about Idealized ALGOL Using Regular Languages (DRG, GM), pp. 103–115.
- LICS-1999-HarmerM #finite #game studies #nondeterminism #semantics
- A Fully Abstract Game Semantics for Finite Nondeterminism (RH, GM), pp. 422–430.
- LICS-1998-AbramskyHM #game studies #semantics
- A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.
- CSL-1997-AbramskyM #call-by #game studies
- Call-by-Value Games (SA, GM), pp. 1–17.
- LICS-1996-McCusker #abstraction #game studies
- Games and Full Abstraction for FPC (GM), pp. 174–183.
- LICS-1995-AbramskyM #abstraction #game studies #lazy evaluation #λ-calculus
- Games and Full Abstraction for the Lazy λ-Calculus (SA, GM), pp. 234–243.
- CSL-2018-McCuskerS #composition #on the
- On Compositionality of Dinatural Transformations (GM, AS), p. 22.