Strong normalisation for the linear term calculus
From MaRDI portal
Publication:4836022
DOI10.1017/S0956796800001246zbMath0826.68119MaRDI QIDQ4836022
Publication date: 3 July 1995
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Cites Work