%O Report 
%F tiur95
%A Tiuryn, Jerzy
%A Urzyczyn, Pawel
%T The Subtyping Problem for Second-Order Types is Undecidable
%N 95
%I Institute of Informatics, Warsaw University
%8 December
%D 1995
%K parametricity