Guy McCusker

43 papers A* 7B 10Journal 18Unranked 6
YearRankTypeTitle / Venue / Authors
2026 B conf
Interaction Improvement.
FoSSaCS
Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni
2026 J jnl
Interaction Improvement.
CoRR
Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni
2023 B conf
The Functional Machine Calculus II: Semantics.
CSL
Chris Barrett, Willem Heijltjes, Guy McCusker
2022 J jnl
A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part II.
Math. Struct. Comput. Sci.
Masahito Hasegawa, Stephen Lack, Guy McCusker
2022 J jnl
The Functional Machine Calculus II: Semantics.
CoRR
Chris Barrett, Willem Heijltjes, Guy McCusker
2021 J jnl
A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part I.
Math. Struct. Comput. Sci.
Masahito Hasegawa, Stephen Lack, Guy McCusker
2020 J jnl
A History Based Logic for Dynamic Preference Updates.
J. Log. Lang. Inf.
Can Baskent, Guy McCusker
2018 B conf
On Compositionality of Dinatural Transformations.
CSL
Guy McCusker, Alessio Santamaria
2017 J jnl
Foreword for special issue of APAL for GaLoP 2013.
Ann. Pure Appl. Log.
Martin Hyland, Guy McCusker, Nikos Tzevelekos
2016 — conf
A Logic for the Compliance Budget.
GameSec
Gabrielle Anderson, Guy McCusker, David J. Pym
2014 J jnl
Report on BCTCS 2013.
Bull. EATCS
Guy McCusker
2013 J jnl
Constructing differential categories and deconstructing categories of games.
Inf. Comput.
Jim Laird, Giulio Manzonetto, Guy McCusker
2013 J jnl
Imperative Programs as Proofs via Game Semantics.
CoRR
Martin Churchill, Jim Laird, Guy McCusker
2013 J jnl
Imperative programs as proofs via game semantics.
Ann. Pure Appl. Log.
Martin Churchill, Jim Laird, Guy McCusker
2013 A* conf
Weighted Relational Models of Typed Lambda-Calculi.
LICS
Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani
2012 B conf
A Graphical Foundation for Schedules.
MFPS
Guy McCusker, John Power, Cai Wingfield
2011 — conf
Constructing Differential Categories and Deconstructing Categories of Games.
ICALP (2)
Jim Laird, Giulio Manzonetto, Guy McCusker
2011 A* conf
Imperative Programs as Proofs via Game Semantics.
LICS
Martin Churchill, James Laird, Guy McCusker
2010 J jnl
A Concrete Representation of Observational Equivalence for PCF
CoRR
Martin Churchill, James Laird, Guy McCusker
2010 J jnl
A Graph Model for Imperative Computation
Log. Methods Comput. Sci.
Guy McCusker
2010 — conf
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming.
AMAST
Ekaterina Komendantskaya, Guy McCusker, John Power
2010 B conf
Modelling Local Variables: Possible Worlds and Object Spaces.
MFPS
Guy McCusker, John Power
2010 B conf
Understanding Game Semantics Through Coherence Spaces.
MFPS
Ana C. Calderon, Guy McCusker
2008 J jnl
Foreword for special issue of APAL for GaLoP 2005.
Ann. Pure Appl. Log.
Guy McCusker, Dan R. Ghica
2007 B conf
A Games Model of Bunched Implications.
CSL
Guy McCusker, David J. Pym
2007 J jnl
Categorical Models of Syntactic Control of Intereference Revisited, Revisited.
LMS J. Comput. Math.
Guy McCusker
2005 — ed.
1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005
GALOP@ETAPS
Dan R. Ghica, Guy McCusker
2005 — conf
Categorical and game semantics for SCIR.
GALOP@ETAPS
Guy McCusker, Matthew Wall
2003 B conf
On the Semantics of the Bad-Variable Constructor in Algol-like Languages.
MFPS
Guy McCusker
2003 J jnl
The regular-language semantics of second-order idealized A
Theor. Comput. Sci.
Dan R. Ghica, Guy McCusker
2002 B conf
A Fully Abstract Relational Model of Syntactic Control of Interference.
CSL
Guy McCusker
2000 J jnl
Games and Full Abstraction for FPC.
Inf. Comput.
Guy McCusker
2000 A* conf
Reasoning about Idealized ALGOL Using Regular Languages.
ICALP
Dan R. Ghica, Guy McCusker
1999 A* conf
A Fully Abstract Game Semantics for Finite Nondeterminism.
LICS
Russell Harmer, Guy McCusker
1999 J jnl
Full Abstraction for Idealized Algol with Passive Expressions.
Theor. Comput. Sci.
Samson Abramsky, Guy McCusker
1998 A* conf
A Fully Abstract Game Semantics for General References.
LICS
Samson Abramsky, Kohei Honda, Guy McCusker
1998 — book
Games and full abstraction for a functional metalanguage with recursive types.
Guy McCusker
1997 B conf
Call-by-Value Games.
CSL
Samson Abramsky, Guy McCusker
1997 J jnl
Games and definability for FPC.
Bull. Symb. Log.
Guy McCusker
1996 A* conf
Games and Full Abstraction for FPC.
LICS
Guy McCusker
1996 — conf
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions.
Linear Logic Tokyo Meeting
Samson Abramsky, Guy McCusker
1995 A* conf
Games and Full Abstraction for the Lazy lambda-Calculus
LICS
Samson Abramsky, Guy McCusker
1994 — conf
Games for Recursive Types.
Theory and Formal Methods
Samson Abramsky, Guy McCusker