scientific article; zbMATH DE number 1333593

MaRDI QIDQ4260366zbMATH OpenFDO

Authors Philip Wadler

Publication date 19 September 1999

Mathematics Subject Classification ID

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

Cited in

(7)

• Focused linear logic and the \(\lambda\)-calculus
• A general adequacy result for a linear functional language
• Modular inference of linear types for multiplicity-annotated arrows
• scientific article; zbMATH DE number 7243672 (Why is no real title available?)
• Separation Logic Contracts for a Java-Like Language with Fork/Join
• Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
• Linearity and uniqueness: an entente cordiale

This page was built for publication:

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