scientific article; zbMATH DE number 1333593
From MaRDI portal
Publication:4260366
zbMATH Open0925.03040MaRDI QIDQ4260366FDOQ4260366
Authors: Philip Wadler 
Publication date: 19 September 1999
Title of this publication is not available (Why is that?)
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
- Title not available (Why is that?)
- Separation Logic Contracts for a Java-Like Language with Fork/Join
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows
- 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)
