"The Undecidability of Type Related Problems in Type-free Style System F."

Ken-etsu Fujita, Aleksy Schubert (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics