Guy McCusker

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 8

Top Topics

Top Venues

Math. Struct. Comput. Sci.

Ann. Pure Appl. Log.

Publications

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