Linear lambda-terms and natural deduction

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

Grigori Mints

Publication date: 7 December 2001

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

zbMATH Keywords

linear logic; normalization; natural deduction; \(\lambda\)-calculus

Mathematics Subject Classification ID

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

03B40: Combinatory logic and lambda calculus

Related Items

On categorical equivalence of Gentzen-style derivations in IMLL