THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
From MaRDI portal
Publication:3363460
DOI10.1002/malq.19920380105zbMath0739.03008OpenAlexW2012710467MaRDI QIDQ3363460
Publication date: 1992
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19920380105
Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Local computation in linear logic ⋮ Three faces of natural deduction ⋮ Computational interpretations of linear logic
This page was built for publication: THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS