Similar Items: The language of Stratified Sets is confluent and strongly normalising
- Strong normalisation for applied lambda calculi
- Non-idempotent intersection types and strong normalisation
- A proof of strong normalisation using domain theory
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
- Third-order strong differential subordinations involving fractional integral of confluent (Kummer) and Gaussian hypergeometric functions