Guy McCusker

According to our database, Guy McCusker authored at least 35 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Functional Machine Calculus II: Semantics.

Chris Barrett, Willem Heijltjes, Guy McCusker

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

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., April, 2022

2021

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

2020

A History Based Logic for Dynamic Preference Updates.

Can Baskent, Guy McCusker

J. Log. Lang. Inf., 2020

2018

On Compositionality of Dinatural Transformations.

Guy McCusker, Alessio Santamaria

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Foreword for special issue of APAL for GaLoP 2013.

Martin Hyland, Guy McCusker, Nikos Tzevelekos

Ann. Pure Appl. Log., 2017

2016

A Logic for the Compliance Budget.

Gabrielle Anderson, Guy McCusker, David J. Pym

Proceedings of the Decision and Game Theory for Security - 7th International Conference, 2016

2014

Report on BCTCS 2013.

Guy McCusker

Bull. EATCS, 2014

2013

Constructing differential categories and deconstructing categories of games.

Jim Laird, Giulio Manzonetto, Guy McCusker

Inf. Comput., 2013

Imperative programs as proofs via game semantics.

Martin Churchill, Jim Laird, Guy McCusker

Ann. Pure Appl. Log., 2013

Weighted Relational Models of Typed Lambda-Calculi.

Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

A Graphical Foundation for Schedules.

Guy McCusker, John Power, Cai Wingfield

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2010

Modelling Local Variables: Possible Worlds and Object Spaces.

Guy McCusker, John Power

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Understanding Game Semantics Through Coherence Spaces.

Ana C. Calderon, Guy McCusker

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

A Concrete Representation of Observational Equivalence for PCF

Martin Churchill, James Laird, Guy McCusker

CoRR, 2010

A Graph Model for Imperative Computation

Guy McCusker

Log. Methods Comput. Sci., 2010

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming.

Ekaterina Komendantskaya, Guy McCusker, John Power

Proceedings of the Algebraic Methodology and Software Technology, 2010

2008

Foreword for special issue of APAL for GaLoP 2005.

Guy McCusker, Dan R. Ghica

Ann. Pure Appl. Log., 2008

2007

Categorical Models of Syntactic Control of Intereference Revisited, Revisited.

Guy McCusker

LMS J. Comput. Math., 2007

A Games Model of Bunched Implications.

Guy McCusker, David J. Pym

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2005

Categorical and game semantics for SCIR.

Guy McCusker, Matthew Wall

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2003

The regular-language semantics of second-order idealized A_LGOL.

Dan R. Ghica, Guy McCusker

Theor. Comput. Sci., 2003

On the Semantics of the Bad-Variable Constructor in Algol-like Languages.

Guy McCusker

Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

2002

A Fully Abstract Relational Model of Syntactic Control of Interference.

Guy McCusker

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2000

Games and Full Abstraction for FPC.

Guy McCusker

Inf. Comput., 2000

Reasoning about Idealized ALGOL Using Regular Languages.

Dan R. Ghica, Guy McCusker

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

Full Abstraction for Idealized Algol with Passive Expressions.

Samson Abramsky, Guy McCusker

Theor. Comput. Sci., 1999

A Fully Abstract Game Semantics for Finite Nondeterminism.

Russell Harmer, Guy McCusker

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

A Fully Abstract Game Semantics for General References.

Samson Abramsky, Kohei Honda, Guy McCusker

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Games and full abstraction for a functional metalanguage with recursive types.

Guy McCusker

CPHC/BCS distinguished dissertations, Springer, ISBN: 978-3-540-76255-3, 1998

1997

Games and definability for FPC.

Guy McCusker

Bull. Symb. Log., 1997

Call-by-Value Games.

Samson Abramsky, Guy McCusker

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions.

Samson Abramsky, Guy McCusker

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

1995

Games and Full Abstraction for the Lazy lambda-Calculus

Samson Abramsky, Guy McCusker

Proceedings of the Proceedings, 1995

1994

Games for Recursive Types.

Samson Abramsky, Guy McCusker

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994