A classical linear \(\lambda\)-calculus

DOI10.1016/S0304-3975(99)00048-1zbMath0952.03071OpenAlexW2060269912MaRDI QIDQ1575877

G. M. Bierman

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00048-1

zbMATH Keywords

sequent calculusproof theorynatural deductiontype systemstyped \(\lambda\)-calculusclassical linear logic

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

This page was built for publication: A classical linear \(\lambda\)-calculus