"On Typability for Rank-2 Intersection Types with Polymorphic Recursion."

Tachio Terauchi, Alex Aiken (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics