Quantitative Game Semantics for Linear Logic

DOI10.1007/978-3-540-87531-4_18MaRDI QIDQ3540182zbMATH OpenOpenAlexFDO

Authors Ugo Dal Lago, Olivier Laurent

Publication date 20 November 2008

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87531-4_18

Mathematics Subject Classification ID

Complexity of proofs (03F20) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A parallel game semantics for linear logic
• Context semantics, linear logic, and computational complexity
• A game semantics for linear logic
• Some semantical aspects of linear logic
• Games and full completeness for multiplicative linear logic

Cited in

(11)

• An abstract approach to stratification in linear logic
• Exact bounds for acyclic higher-order recursion schemes
• A semantic measure of the execution time in linear logic
• Game semantics and the geometry of backtracking: a new complexity analysis of interaction
• A game-semantic model of computation
• scientific article; zbMATH DE number 6787702 (Why is no real title available?)
• A Fresh Look at the λ-Calculus
• Context semantics, linear logic, and computational complexity
• A game model for proofs with costs
• A parallel game semantics for linear logic
• scientific article; zbMATH DE number 1670494 (Why is no real title available?)

This page was built for publication: Quantitative Game Semantics for Linear Logic

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