机译:Reducing intersection types, and explicit substitutions
Department of Mathematics and Computer Science, Wesleyan University, Middletown, CT 06459 USA;
Laboratoire de l'Informatique du Parallelisme, Ecole Normale Superieure de Lyon, 46, Allee d'Italie, 69364 Lyon 07, France;