A tale of additives and concurrency in game semantics
From MaRDI portal
Publication:6612786
DOI10.1007/978-3-031-24117-8_10MaRDI QIDQ6612786
Publication date: 1 October 2024
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Scott model of linear logic is the extensional collapse of its relational model
- Linear logic
- Resource modalities in tensor logic
- Totality in arena games
- Weakly distributive categories
- Softness of hypercoherences and MALL full completeness
- Prime algebraicity
- Sequential algorithms on concrete data structures
- A game semantics for linear logic
- Fully abstract models of typed \(\lambda\)-calculi
- Glueing and orthogonality for models of linear logic
- Exhausting strategies, joker games and full completeness for IMLL with unit
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Resource-tracking concurrent games
- Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)
- Angelic semantics of fine-grained concurrency
- Sequential algorithms and strongly stable functions
- Locus solum: From the rules of logic to the logic of rules.
- Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information
- The Winning Ways of Concurrent Games
- Game Semantics in String Diagrams
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus
- Asynchronous Games: Innocence Without Alternation
- Partial Orders, Event Structures and Linear Strategies
- A new constructive logic: classic logic
- Logic Programming with Focusing Proofs in Linear Logic
- Sequentiality vs. concurrency in games and logic
- Causality vs. interleavings in concurrent game semantics
- The Parallel Intensionally Fully Abstract Games Model of PCF
- A semantics of evidence for classical arithmetic
- A Game Semantics of Idealized CSP
- The concurrent game semantics of Probabilistic PCF
- Games and Strategies as Event Structures
- Automata, Languages and Programming
This page was built for publication: A tale of additives and concurrency in game semantics
