Strong normalisation for the linear term calculus

DOI10.1017/S0956796800001246zbMath0826.68119MaRDI QIDQ4836022

P. N. Benton

Publication date: 3 July 1995

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

lambda calculuslinear term calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27)

Related Items (2)

Natural deduction for intuitionistic linear logic ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

Cites Work

• Intensional interpretations of functionals of finite type I

This page was built for publication: Strong normalisation for the linear term calculus