Similar Items: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
- Strong normalisation for applied lambda calculi
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- Non-idempotent intersection types and strong normalisation
- The language of Stratified Sets is confluent and strongly normalising
- A proof of strong normalisation using domain theory
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus