The far side of the cube. An elementary introduction to game semantics
From MaRDI portal
Publication:6612782
DOI10.1007/978-3-031-24117-8_6MaRDI QIDQ6612782
Publication date: 1 October 2024
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- LCF considered as a programming language
- Fully abstract models of typed \(\lambda\)-calculi
- Abstract models of storage
- Syntactic control of interference revisited
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Angelic semantics of fine-grained concurrency
- Nominal Sets
- Definability and Full Abstraction
- Introduction to Categories and Categorical Logic
- Physics, Topology, Logic and Computation: A Rosetta Stone
- The impact of higher-order state and control effects on local relational reasoning
- Game Semantics in the Nominal Model
- A System-Level Game Semantics
- Geometry of synthesis
- A Theory of Communicating Sequential Processes
- Adjointness in Foundations
- Communicating sequential processes
- A Game Semantics of Idealized CSP
- Slot games
- Programming Languages and Systems
- Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes
- Games and Strategies as Event Structures
- The Anatomy of Innocence Revisited
- The next 700 programming languages
- Probabilistic game semantics
- CONCUR 2005 – Concurrency Theory
- Idempotent completion of triangulated categories
- Finitary PCF is not decidable
This page was built for publication: The far side of the cube. An elementary introduction to game semantics