The subtyping problem for second order types is undecidable (1996)

by J Tiuryn, P Urzyczyn
Venue:Proc. IEEE Symposium on Logic in Computer Science (LICS’96