Characterising strongly normalising intuitionistic terms

DOI10.3233/FI-2012-772MaRDI QIDQ4903715zbMATH OpenFDO

Authors José Espírito Santo, Jelena Ivetić, Silvia Likavec

Publication date 24 January 2013

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logiclambda-calculusstrong normalizationsequent calculusintersection types

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Recommendations

• Characterising Strongly Normalising Intuitionistic Sequent Terms
• Characterisation of strongly normalising \(\lambda\mu\)-terms
• An elementary proof of strong normalization for intersection types
• scientific article; zbMATH DE number 2086241
• Strong normalization and typability with intersection types

Cited in

(14)

• An elementary proof of strong normalization for intersection types
• A new type assignment for strongly normalizable terms
• Characterisation of strongly normalising \(\lambda\mu\)-terms
• Strong normalization through intersection types and memory
• A term assignment for polarized bi-intuitionistic logic and its strong normalization
• A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
• Characterising Strongly Normalising Intuitionistic Sequent Terms
• Nominal essential intersection types
• Intersection types for the resource control lambda calculi
• Intersection types for λGtz-calculus
• Strong normalization and typability with intersection types
• Characterisation of normalisation properties for \(\lambda\mu\) using strict negated intersection types
• scientific article; zbMATH DE number 1189064 (Why is no real title available?)
• A resource aware semantics for a focused intuitionistic calculus

This page was built for publication: Characterising strongly normalising intuitionistic terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4903715)