McCusker, Guy - Department of Computer Science, University of Bath

Advanced Search

McCusker, Guy - Department of Computer Science, University of Bath

Game Semantics of Imperative Languages using Regular Expressions
Report on project GR/N38824/01 Unified Semantics of Hybrid Computational Effects
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active
Full abstraction by translation Guy McCusker
The Regular-Language Semantics of Second-Order Idealized Algol
Games and Full Abstraction for FPC Guy McCusker \Lambda
Game Semantics Samson Abramsky
Games and Full Abstraction for fpc Guy McCusker \Lambda
A Games Model of Bunched Implications Guy McCusker1
A Posetal Cartesian Doubly-Closed Category Guy McCusker
A fully abstract relational model of Syntactic Control of Interference
A fully abstract relational model of Syntactic Control of Interference
The Regular-Language Semantics of Second-Order Idealized Algol
In proceedings of 10th annual IEEE symposiumon Logic in Computer Science, IEEE Computer Society Press, June 1995. Games and Full Abstraction for the Lazy calculus
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
samson@dcs.ed.ac.uk Guy mccusker@comlab.ox.ac.uk
A fully abstract game semantics for finite nondeterminism Russell Harmer
A Graph Model for Imperative Computation Guy McCusker
Reasoning about Idealized Algol Using Regular Expressions
Games for Syntactic Control of Interference Matthew Wall
Callbyvalue games (extended abstract)
Report on project GR/N22014/01 Semantic approaches to control of interference in
A games model of BI Guy McCusker1 David Pym2
Programs and Guy McCusker