"The Subtyping Problem for Second-Order Types is Undecidable."

Jerzy Tiuryn, Pawel Urzyczyn (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics