A taste of linear logic

MaRDI QIDQ4260366zbMATH OpenFDO

Authors Philip Wadler

Publication date 19 September 1999

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)

Cited in

(7)

• A general adequacy result for a linear functional language
• Modular inference of linear types for multiplicity-annotated arrows
• Dual-context calculi for modal logic
• Separation Logic Contracts for a Java-Like Language with Fork/Join
• Focused linear logic and the \(\lambda\)-calculus
• Linearity and uniqueness: an entente cordiale
• Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic

This page was built for publication: A taste of linear logic

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