Similar Items: Strong normalisation for applied lambda calculi
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
- Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
- 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