scientific article; zbMATH DE number 1223612

zbMath0908.03034MaRDI QIDQ4218922

Thomas Ehrhard, Patrick Baillot, Vincent Danos, Laurent Regnier

Publication date: 18 March 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lax functorAJM games modelbipolaritiesmodels of classical linear logicpolarized pointed relations

Mathematics Subject Classification ID

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

Related Items (7)

Understanding Game Semantics Through Coherence Spaces ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ Constructing Differential Categories and Deconstructing Categories of Games ⋮ Unnamed Item ⋮ Asynchronous games. II: The true concurrency of innocence ⋮ Thick Subtrees, Games and Experiments ⋮ Games and full abstraction for FPC.

This page was built for publication: