ACM - Normas
Andrej Dudenhefner
Jakob Rehof
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
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