1. Unification via the λse-style of explicit substitution;Ayala-Rincón;Log. J. IGPL,2001
2. Essential intersection type assignment;van Bakel,1993
3. Intersection type assignment systems;van Bakel;Theoret. Comput. Sci.,1995
4. Strict intersection types for the lambda calculus;van Bakel;ACM Comput. Surv.,2011
5. Rewrite systems with abstraction and beta-rule: types, approximants and normalization;van Bakel,1996