The following pages link to Totality in arena games (Q636307):
Displaying 6 items.
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Least and Greatest Fixpoints in Game Semantics (Q3617718) (← links)
- Dynamic game semantics (Q4988428) (← links)
- Game semantics of Martin-Löf type theory (Q6190409) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
