Recommendations
Cites work
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1231510 (Why is no real title available?)
- scientific article; zbMATH DE number 1241697 (Why is no real title available?)
- scientific article; zbMATH DE number 1241700 (Why is no real title available?)
- scientific article; zbMATH DE number 1948179 (Why is no real title available?)
- scientific article; zbMATH DE number 1499102 (Why is no real title available?)
- A semantics of evidence for classical arithmetic
- Abstract Böhm trees
- Dependent choice, `quote' and the clock
- Games and Definability For FPC
- Locally cartesian closed categories and type theory
- On full abstraction for PCF: I, II and III
- Polarized games
- Second-order type isomorphisms through game semantics
- The Anatomy of Innocence Revisited
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(7)- Least and Greatest Fixpoints in Game Semantics
- Strategy composition in compositional games
- A tale of additives and concurrency in game semantics
- Dynamic game semantics
- Game semantics of Martin-Löf type theory
- A graphical foundation for interleaving in game semantics
- Disentangling parallelism and interference in game semantics
This page was built for publication: Totality in arena games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636307)
