Strong normalizability of typed lambda-calculi for substructural logics
From MaRDI portal
Publication:1001367
DOI10.1007/s11787-008-0036-0zbMath1167.03014OpenAlexW2086657019MaRDI QIDQ1001367
Motohiko Mouri, Norihiro Kamide
Publication date: 17 February 2009
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-008-0036-0
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)