The following pages link to What's in a game? (Q5145311):
Displaying 14 items.
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Bisimulation maps in presheaf categories (Q2133160) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- Some programming languages suggested by game models (extended abstract) (Q2805154) (← links)
- A categorical semantics of higher order store (Q2842823) (← links)
- Concrete data structures as games (Q2849886) (← links)
- Definability and full abstraction (Q2864154) (← links)
- Innocent Game Semantics via Intersection Type Assignment Systems (Q2958525) (← links)
- From CSP to Game Semantics (Q3163396) (← links)
- Understanding Game Semantics Through Coherence Spaces (Q3178256) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- (Q3343813) (← links)
- (Q5089017) (← links)