Boris Düdder
Moritz Martens
Jakob Rehof
Lecture Notes in Computer Science
Intersection type calculi of bounded dimension