Linear lambda-terms and natural deduction

DOI10.1023/A:1005016206457zbMath0974.03051OpenAlexW1593393851MaRDI QIDQ1577345

Grigori Mints

Publication date: 7 December 2001

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

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

zbMATH Keywords

linear logicnormalizationnatural deduction\(\lambda\)-calculus

Mathematics Subject Classification ID

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

Related Items (3)

On categorical equivalence of Gentzen-style derivations in IMLL ⋮ The elimination of maximum cuts in linear logic and BCK logic ⋮ Intuitionistic Existential Instantiation and Epsilon Symbol

This page was built for publication: Linear lambda-terms and natural deduction