Timeless games

DOI10.1007/BFB0028007MaRDI QIDQ4218922zbMATH OpenFDO

Authors Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier

Publication date 18 March 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0028007

zbMATH Keywords

AJM games modelbipolaritieslax functormodels of classical linear logicpolarized pointed relations

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55) 2-person games (91A05)

Recommendations

• scientific article; zbMATH DE number 1497810
• Polarized games
• Thick Subtrees, Games and Experiments
• Asynchronous games 3 an innocent model of linear logic
• Quantitative Game Semantics for Linear Logic

Cited in

(12)

• Games and full abstraction for FPC.
• Polarized games
• Asynchronous games. II: The true concurrency of innocence
• A truly concurrent game model of the asynchronous -calculus
• Constructing Differential Categories and Deconstructing Categories of Games
• Understanding game semantics through coherence spaces
• scientific article; zbMATH DE number 5521851 (Why is no real title available?)
• Thick Subtrees, Games and Experiments
• scientific article; zbMATH DE number 1497810 (Why is no real title available?)
• Fully abstract models of the probabilistic -calculus
• From thin concurrent games to generalized species of structures (extended version)
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads

This page was built for publication: Timeless games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4218922)