The following pages link to Guy McCusker (Q276480):
Displaying 29 items.
- On the semantics of the bad-variable constructor in Algol-like languages (Q276481) (← links)
- Imperative programs as proofs via game semantics (Q388203) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Full abstraction for idealized Algol with passive expressions (Q1575874) (← links)
- Games and full abstraction for FPC. (Q1854351) (← links)
- The regular-language semantics of second-order idealized ALGOL (Q1884909) (← links)
- Constructing differential categories and deconstructing categories of games (Q1951585) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- A history based logic for dynamic preference updates (Q2209166) (← links)
- (Q2754137) (← links)
- Constructing Differential Categories and Deconstructing Categories of Games (Q3012919) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- Categorical Models of Syntactic Control of Intereference Revisited, Revisited (Q3091944) (← links)
- Understanding Game Semantics Through Coherence Spaces (Q3178256) (← links)
- Modelling Local Variables: Possible Worlds and Object Spaces (Q3178266) (← links)
- A Graphical Foundation for Schedules (Q3178289) (← links)
- A Games Model of Bunched Implications (Q3608439) (← links)
- (Q4218919) (← links)
- (Q4222822) (← links)
- (Q4231031) (← links)
- (Q4263830) (← links)
- Games and Definability For FPC (Q4372924) (← links)
- (Q4411827) (← links)
- (Q4870803) (← links)
- On Compositionality of Dinatural Transformations (Q5079758) (← links)
- A Graph Model for Imperative Computation (Q5190322) (← links)
- Weighted Relational Models of Typed Lambda-Calculi (Q5271067) (← links)
- The functional machine calculus II: semantics (Q6610609) (← links)
- An axiomatic account of a fully abstract game semantics for general references (Q6612783) (← links)
