Daniel J. Dougherty, Pierre Lescanne: Reductions, Intersection Types, and Explicit Substitutions. Math. Struct. Comput. Sci. 13(1): 55-85 (2003)