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