BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Italy
1 × United Kingdom
3 × Switzerland
4 × USA
Collaborated with:
S.Abramsky J.Laird G.Manzonetto D.J.Pym D.R.Ghica R.Harmer A.Santamaria M.Churchill J.Laird K.Honda M.Pagani
Talks about:
game (8) abstract (5) semant (3) model (3) fulli (3) categori (2) relat (2) full (2) nondetermin (1) deconstruct (1)

Person: Guy McCusker

DBLP DBLP: McCusker:Guy

Contributed to:

LICS 20132013
ICALP (2) 20112011
LICS 20112011
CSL 20072007
CSL 20022002
ICALP 20002000
LICS 19991999
LICS 19981998
CSL 19971997
LICS 19961996
LICS 19951995
CSL 20182018

Wrote 12 papers:

LICS-2013-LairdMMP #modelling #relational #λ-calculus
Weighted Relational Models of Typed λ-Calculi (JL, GM, GM, MP), pp. 301–310.
ICALP-v2-2011-LairdMM #category theory #difference #game studies
Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.
LICS-2011-ChurchillLM #game studies #imperative #proving #semantics #source code
Imperative Programs as Proofs via Game Semantics (MC, JL, GM), pp. 65–74.
CSL-2007-McCuskerP #game studies
A Games Model of Bunched Implications (GM, DJP), pp. 573–588.
CSL-2002-McCusker #relational
A Fully Abstract Relational Model of Syntactic Control of Interference (GM), pp. 247–261.
ICALP-2000-GhicaM #algol #reasoning #regular expression #using
Reasoning about Idealized ALGOL Using Regular Languages (DRG, GM), pp. 103–115.
LICS-1999-HarmerM #finite #game studies #nondeterminism #semantics
A Fully Abstract Game Semantics for Finite Nondeterminism (RH, GM), pp. 422–430.
LICS-1998-AbramskyHM #game studies #semantics
A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.
CSL-1997-AbramskyM #call-by #game studies
Call-by-Value Games (SA, GM), pp. 1–17.
LICS-1996-McCusker #abstraction #game studies
Games and Full Abstraction for FPC (GM), pp. 174–183.
LICS-1995-AbramskyM #abstraction #game studies #lazy evaluation #λ-calculus
Games and Full Abstraction for the Lazy λ-Calculus (SA, GM), pp. 234–243.
CSL-2018-McCuskerS #composition #on the
On Compositionality of Dinatural Transformations (GM, AS), p. 22.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.