Recognizability in the Simply Typed Lambda-Calculus
Loader and Urzyczyn Are Logically Related
Lecture Notes in Computer Science
Henk Barendregt
Mai Gehrke
Giulio Manzonetto
Intersection type calculi of bounded dimension