Template games and differential linear logic

DOI10.5555/3470152.3470207MaRDI QIDQ6654520zbMATH OpenFDO

Authors Paul-André Melliès

Publication date 19 December 2024

Full work available at URL https://doi.org/10.5555/3470152.3470207

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categorical aspects of linear logic (18M45) 2-categories, bicategories, double categories (18N10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other game-theoretic models (91A40)

Recommendations

• scientific article; zbMATH DE number 1497810
• A game semantics for linear logic
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Asynchronous games 3 an innocent model of linear logic
• Some semantical aspects of linear logic

Cited in

(4)

• Asynchronous template games and the gray tensor product of 2-categories
• Polynomials in homotopy type theory as a Kleisli category
• From thin concurrent games to generalized species of structures (extended version)
• An analysis of symmetry in quantitative semantics

This page was built for publication: Template games and differential linear logic

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