The far side of the cube. An elementary introduction to game semantics

DOI10.1007/978-3-031-24117-8_6MaRDI QIDQ6612782

Dan R. Ghica

Publication date: 1 October 2024

Mathematics Subject Classification ID

Quantum computation (81P68) Logic in computer science (03B70) Theory of computing (68Qxx)

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