Loader and Urzyczyn Are Logically Related
Lecture Notes in Computer Science
Henk Barendregt
Mai Gehrke
Sylvain Salvati
Intersection type calculi of bounded dimension