THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS

DOI10.1002/malq.19920380105zbMath0739.03008OpenAlexW2012710467MaRDI QIDQ3363460

Silvio Valentini

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

zbMATH Keywords

semanticstyped lambda calculusintuitionistic linear logicjudgement calculuswell-typed program

Mathematics Subject Classification ID

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