Similar Items: Intersection Types for the lambda-mu Calculus
- Semantics of Typed Lambda-Calculus with Constructors
- Adding Negation to Lambda Mu
- Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
- Nominal Coalgebraic Data Types with Applications to Lambda Calculus
- The Safe Lambda Calculus
- EXPTIME Tableaux for the Coalgebraic mu-Calculus