Characterising Strongly Normalising Intuitionistic Sequent Terms

DOI10.1007/978-3-540-68103-8_6zbMATH Open1138.03323OpenAlexW1595352090MaRDI QIDQ3499751FDOQ3499751

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Principal type scheme and unification for intersection type discipline
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new type assignment for λ-terms
• Lambda terms for natural deduction, sequent calculus and cut elimination
• Delayed Substitutions
• Title not available (Why is that?)
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
• Termination of permutative conversions in intuitionistic Gentzen calculi
• Title not available (Why is that?)
• Completing Herbelin’s Programme
• Title not available (Why is that?)
• Intersection types for explicit substitutions
• Title not available (Why is that?)
• Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi

Cited In (3)

• Characterising strongly normalising intuitionistic terms
• Title not available (Why is that?)
• Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

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)