scientific article; zbMATH DE number 1333593

zbMath0925.03040MaRDI QIDQ4260366

Philip Wadler

Publication date: 19 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (7)

Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ A general adequacy result for a linear functional language ⋮ Linearity and uniqueness: an entente cordiale ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ Focused linear logic and the \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Separation Logic Contracts for a Java-Like Language with Fork/Join

This page was built for publication: