Curry-Howard terms for linear logic

DOI10.1023/A:1005025414656zbMath0962.03056OpenAlexW1566495532MaRDI QIDQ1580654

Frank A. Bäuerle, John N. Crossley, David Albrecht, John S. Jeavons

Publication date: 13 June 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005025414656

zbMATH Keywords

strong normalizationCurry-Howard termsnatural deduction system for full first-order linear logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Curry-Howard terms for linear logic