Characterising Strongly Normalising Intuitionistic Terms
From MaRDI portal
Publication:4903715
DOI10.3233/FI-2012-772zbMath1277.03003MaRDI QIDQ4903715
Silvia Likavec, José Espírito Santo, Jelena Ivetić
Publication date: 24 January 2013
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items
Nominal essential intersection types ⋮ A resource aware semantics for a focused intuitionistic calculus ⋮ Intersection Types for the Resource Control Lambda Calculi