Sylvain Salvati
Giulio Manzonetto
Mai Gehrke
Henk Barendregt
Lecture Notes in Computer Science
Intersection type calculi of bounded dimension