Characterising Strongly Normalising Intuitionistic Sequent Terms

DOI10.1007/978-3-540-68103-8_6MaRDI QIDQ3499751zbMATH OpenOpenAlexFDO

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

Publication date 3 June 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/11513

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Recommendations

• Characterising strongly normalising intuitionistic terms
• Strongly normalising cut-elimination with strict intersection types
• scientific article; zbMATH DE number 2086241
• Characterisation of strongly normalising \(\lambda\mu\)-terms
• Strong normalization and typability with intersection types

Cites work

• scientific article; zbMATH DE number 1615235 (Why is no real title available?)
• scientific article; zbMATH DE number 1670856 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 46869 (Why is no real title available?)
• scientific article; zbMATH DE number 3596799 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 2061717 (Why is no real title available?)
• scientific article; zbMATH DE number 2079018 (Why is no real title available?)
• A new type assignment for λ-terms
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
• Completing Herbelin’s Programme
• Delayed Substitutions
• Intersection types for explicit substitutions
• Lambda terms for natural deduction, sequent calculus and cut elimination
• Principal type scheme and unification for intersection type discipline
• Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
• Termination of permutative conversions in intuitionistic Gentzen calculi

Cited in

(4)

• Characterising strongly normalising intuitionistic terms
• scientific article; zbMATH DE number 1941934 (Why is no real title available?)
• Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
• Characterisation of strongly normalising \(\lambda\mu\)-terms

This page was built for publication: Characterising Strongly Normalising Intuitionistic Sequent Terms

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