Quantitative Game Semantics for Linear Logic
From MaRDI portal
Publication:3540182
DOI10.1007/978-3-540-87531-4_18zbMath1156.03332OpenAlexW1545860678MaRDI QIDQ3540182
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
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Complexity of proofs (03F20)
Related Items (5)
A semantic measure of the execution time in linear logic ⋮ A Fresh Look at the λ-Calculus ⋮ A game-semantic model of computation ⋮ An abstract approach to stratification in linear logic ⋮ Exact bounds for acyclic higher-order recursion schemes
This page was built for publication: Quantitative Game Semantics for Linear Logic
