%0 Conference Proceedings
%F urzyczyn93
%A Urzyczyn, Pawel
%T Type Reconstruction for $F_\omega$ is Undecidable
%B Proc.\ Int'l Conf.\ on Typed Lambda Calculi and Applications (TLCA), Utrecht, The Netherlands
%E Bezem, M.
%E Grotte, J.F.
%V 664
%P 418-432
%S Lecture Notes in Computer Science
%I Springer-Verlag
%8 March
%D 1993
%K parametricity