The following pages link to (Q4783308):
Displaying 9 items.
- An approach to innocent strategies as graphs (Q418201) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Games characterizing Levy-Longo trees (Q1884875) (← links)
- Polarized games (Q1886321) (← links)
- Anderson and Belnap's invitation to sin (Q1959326) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- The recollements of purity (Q4965247) (← links)
- Epistemic Strategies and Games on Concurrent Processes (Q5901384) (← links)
- The far side of the cube. An elementary introduction to game semantics (Q6612782) (← links)