Computational Interpretations of Classical Linear Logic

DOI10.1007/978-3-540-73445-1_20MaRDI QIDQ3612668zbMATH OpenOpenAlexFDO

Authors Paulo Oliva

Publication date 10 March 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73445-1_20

Mathematics Subject Classification ID

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

Recommendations

• Functional interpretations of linear and intuitionistic logic
• scientific article; zbMATH DE number 1497810
• Functional interpretations of intuitionistic linear logic
• A game semantics for linear logic
• Interactive models of computation and program behavior

Cited in

(13)

• A game-theoretic computational interpretation of proofs in classical analysis
• THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING
• Functional Interpretations of Intuitionistic Linear Logic
• Hybrid functional interpretations of linear and intuitionistic logic
• Linear logic as a logic of computations
• Functional interpretations of intuitionistic linear logic
• Functional interpretations of linear and intuitionistic logic
• scientific article; zbMATH DE number 5841868 (Why is no real title available?)
• A parametrised functional interpretation of Heyting arithmetic
• scientific article; zbMATH DE number 7439427 (Why is no real title available?)
• Light Dialectica revisited
• Proof interpretations with truth
• Interactive models of computation and program behavior

This page was built for publication: Computational Interpretations of Classical Linear Logic

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