| 2008 |
|---|
| 17 | EE | Guy McCusker,
Dan R. Ghica:
Foreword for special issue of APAL for GaLoP 2005.
Ann. Pure Appl. Logic 151(2-3): 69 (2008) |
| 2007 |
|---|
| 16 | EE | Guy McCusker,
David J. Pym:
A Games Model of Bunched Implications.
CSL 2007: 573-588 |
| 2005 |
|---|
| 15 | | Dan R. Ghica,
Guy McCusker:
Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference
GALOP 2005 |
| 14 | | Guy McCusker,
Matthew Wall:
Categorical and game semantics for SCIR.
GALOP 2005: 157-178 |
| 2003 |
|---|
| 13 | EE | Dan R. Ghica,
Guy McCusker:
The regular-language semantics of second-order idealized ALGOL.
Theor. Comput. Sci. 309(1-3): 469-502 (2003) |
| 2002 |
|---|
| 12 | EE | Guy McCusker:
A Fully Abstract Relational Model of Syntactic Control of Interference.
CSL 2002: 247-261 |
| 2000 |
|---|
| 11 | EE | Dan R. Ghica,
Guy McCusker:
Reasoning about Idealized ALGOL Using Regular Languages.
ICALP 2000: 103-115 |
| 10 | | Guy McCusker:
Games and Full Abstraction for FPC.
Inf. Comput. 160(1-2): 1-61 (2000) |
| 1999 |
|---|
| 9 | EE | Russell Harmer,
Guy McCusker:
A Fully Abstract Game Semantics for Finite Nondeterminism.
LICS 1999: 422-430 |
| 8 | EE | Samson Abramsky,
Guy McCusker:
Full Abstraction for Idealized Algol with Passive Expressions.
Theor. Comput. Sci. 227(1-2): 3-42 (1999) |
| 1998 |
|---|
| 7 | | Samson Abramsky,
Kohei Honda,
Guy McCusker:
A Fully Abstract Game Semantics for General References.
LICS 1998: 334-344 |
| 1997 |
|---|
| 6 | | Samson Abramsky,
Guy McCusker:
Call-by-Value Games.
CSL 1997: 1-17 |
| 5 | EE | Guy McCusker:
Games and definability for FPC.
Bulletin of Symbolic Logic 3(3): 347-362 (1997) |
| 1996 |
|---|
| 4 | | Guy McCusker:
Games and Full Abstraction for FPC.
LICS 1996: 174-183 |
| 3 | EE | Samson Abramsky,
Guy McCusker:
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1995 |
|---|
| 2 | | Samson Abramsky,
Guy McCusker:
Games and Full Abstraction for the Lazy lambda-Calculus
LICS 1995: 234-243 |
| 1994 |
|---|
| 1 | | Samson Abramsky,
Guy McCusker:
Games for Recursive Types.
Theory and Formal Methods 1994: 1-20 |
