ACM - Normas
Andrej Dudenhefner
Jakob Rehof
ACM SIGPLAN Notices
Principality and decidable type inference for finite-rank intersection types
Polymorphic type inference
Essays in Memory of Alonzo Church, pages 331– 342, 2001
essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2012
Recognizability in the Simply Typed Lambda-Calculus
Loader and Urzyczyn Are Logically Related