A tale of additives and concurrency in game semantics

DOI10.1007/978-3-031-24117-8_10MaRDI QIDQ6612786

Pierre Clairambault

Publication date: 1 October 2024

zbMATH Keywords

linear logicgame semanticsconcurrent games

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
• 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