Follow
Guy McCusker
Guy McCusker
Professor of Computer Science, University of Bath
Verified email at bath.ac.uk
Title
Cited by
Cited by
Year
A fully abstract game semantics for general references
S Abramsky, K Honda, G McCusker
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
2811998
Game semantics
S Abramsky, G McCusker
Computational Logic: Proceedings of the NATO Advanced Study Institute on …, 1999
2161999
Linearity, Sharing and State: A Fully Abstract Game Semantics for Idealized Algol with Active Expressions
S Abramsky, G McCusker
Algol-like languages, 297-329, 1997
1791997
Call-by-value games
S Abramsky, G McCusker
International Workshop on Computer Science Logic, 1-17, 1997
1741997
Games and full abstraction for a functional metalanguage with recursive types
G McCusker
Springer Science & Business Media, 1998
1631998
A fully abstract game semantics for finite nondeterminism
R Harmer, G McCusker
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
1431999
Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions
S Abramsky, G McCusker
Electronic Notes in Theoretical Computer Science 3, 2-14, 1996
1201996
Weighted relational models of typed lambda-calculi
J Laird, G Manzonetto, G McCusker, M Pagani
28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), 301-310, 2013
1122013
Games and full abstraction for FPC
G McCusker
Information and Computation 160 (1-2), 1-61, 2000
992000
Reasoning about Idealized Algol using regular languages
DR Ghica, G McCusker
International Colloquium on Automata, Languages, and Programming, 103-115, 2000
922000
Full abstraction for Idealized Algol with passive expressions
S Abramsky, G McCusker
Theoretical Computer Science 227 (1-2), 3-42, 1999
761999
The regular-language semantics of second-order idealized Algol
DR Ghica, G McCusker
Theoretical Computer Science 309 (1-3), 469-502, 2003
712003
Games and full abstraction for the lazy/spl lambda/-calculus
S Abramsky, G McCusker
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 234-243, 1995
451995
Games for Recursive Types.
S Abramsky, G McCusker
Theory and Formal Methods, 1-20, 1994
321994
Constructing differential categories and deconstructing categories of games
J Laird, G Manzonetto, G McCusker
Information and Computation 222, 247-264, 2013
272013
A fully abstract relational model of syntactic control of interference
G McCusker
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual …, 2002
252002
Coalgebraic semantics for parallel derivation strategies in logic programming
E Komendantskaya, G McCusker, J Power
Algebraic Methodology and Software Technology: 13th International Conference …, 2011
242011
Understanding game semantics through coherence spaces
AC Calderon, G McCusker
Electronic Notes in Theoretical Computer Science 265, 231-244, 2010
192010
Games for recursive types, BCS Distinguished Dissertation
G McCusker
Cambridge University Press, 1998
171998
Games and definability for FPC
GUY McCUSKER
Bulletin of Symbolic Logic 3 (3), 347-362, 1997
151997
The system can't perform the operation now. Try again later.
Articles 1–20