Games for Recursive Types. - Samson Abramsky; Guy McCusker (Theory and Formal Methods, 1994)

Games and Full Abstraction for the Lazy lambda-Calculus - Samson Abramsky; Guy McCusker (LICS, 1995)

Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions. - Samson Abramsky; Guy McCusker (Linear Logic Tokyo Meeting, 1996)

Call-by-Value Games. - Samson Abramsky; Guy McCusker (CSL, 1997)

Games and definability for FPC. - Guy McCusker (Bull. Symb. Log., 1997)

Games and full abstraction for a functional metalanguage with recursive types. - Guy McCusker (Springer, 1998)

A Fully Abstract Game Semantics for General References. - Samson Abramsky; Kohei Honda 001; Guy McCusker (LICS, 1998)

A Fully Abstract Game Semantics for Finite Nondeterminism. - Russell Harmer; Guy McCusker (LICS, 1999)

Full Abstraction for Idealized Algol with Passive Expressions. - Samson Abramsky; Guy McCusker (Theor. Comput. Sci., 1999)

Reasoning about Idealized ALGOL Using Regular Languages. - Dan R. Ghica; Guy McCusker (ICALP, 2000)

Games and Full Abstraction for FPC. - Guy McCusker (Inf. Comput., 2000)

A Fully Abstract Relational Model of Syntactic Control of Interference. - Guy McCusker (CSL, 2002)

On the Semantics of the Bad-Variable Constructor in Algol-like Languages. - Guy McCusker (MFPS, 2003)

The regular-language semantics of second-order idealized ALGOL. - Dan R. Ghica; Guy McCusker (Theor. Comput. Sci., 2003)

Categorical and game semantics for SCIR. - Guy McCusker; Matthew Wall (GALOP@ETAPS, 2005)

A Games Model of Bunched Implications. - Guy McCusker; David J. Pym (CSL, 2007)

Categorical Models of Syntactic Control of Intereference Revisited, Revisited. - Guy McCusker (LMS J. Comput. Math., 2007)

Foreword for special issue of APAL for GaLoP 2005. - Guy McCusker; Dan R. Ghica (Ann. Pure Appl. Log., 2008)

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. - Ekaterina Komendantskaya; Guy McCusker; John Power (AMAST, 2010)

A Graph Model for Imperative Computation - Guy McCusker (Log. Methods Comput. Sci., 2010)

A Concrete Representation of Observational Equivalence for PCF - Martin Churchill; James Laird; Guy McCusker (CoRR, 2010)

Understanding Game Semantics Through Coherence Spaces. - Ana C. Calderon; Guy McCusker (MFPS, 2010)

Modelling Local Variables: Possible Worlds and Object Spaces. - Guy McCusker; John Power (MFPS, 2010)

A Graphical Foundation for Schedules. - Guy McCusker; John Power; Cai Wingfield (MFPS, 2012)

Weighted Relational Models of Typed Lambda-Calculi. - Jim Laird; Giulio Manzonetto; Guy McCusker; Michele Pagani (LICS, 2013)

Imperative programs as proofs via game semantics. - Martin Churchill; Jim Laird; Guy McCusker (Ann. Pure Appl. Log., 2013)

Constructing differential categories and deconstructing categories of games. - Jim Laird; Giulio Manzonetto; Guy McCusker (Inf. Comput., 2013)

Report on BCTCS 2013. - Guy McCusker (Bull. EATCS, 2014)

A Logic for the Compliance Budget. - Gabrielle Anderson; Guy McCusker; David J. Pym (GameSec, 2016)

Foreword for special issue of APAL for GaLoP 2013. - Martin Hyland; Guy McCusker; Nikos Tzevelekos (Ann. Pure Appl. Log., 2017)

On Compositionality of Dinatural Transformations. - Guy McCusker; Alessio Santamaria (CSL, 2018)

A History Based Logic for Dynamic Preference Updates. - Can Baskent; Guy McCusker (J. Log. Lang. Inf., 2020)

A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part I. - Masahito Hasegawa; Stephen Lack; Guy McCusker (Math. Struct. Comput. Sci., 2021)

A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part II. - Masahito Hasegawa; Stephen Lack; Guy McCusker (Math. Struct. Comput. Sci., 2022)

The Functional Machine Calculus II: Semantics. - Chris Barrett; Willem Heijltjes; Guy McCusker (CSL, 2023)