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

by J Tiuryn, P Urzyczyn
Venue:Logic in Computer Science