Similar Items: Non-idempotent intersection types and strong normalisation
- Inhabitation for Non-idempotent Intersection Types
- Strong normalisation for applied lambda calculi
- Idempotents in intensional type theory
- Non-idempotent types for classical calculi in natural deduction style
- The language of Stratified Sets is confluent and strongly normalising
- A proof of strong normalisation using domain theory