%O Report 
%F wells94
%A Wells, J.B.
%T Typability and Type Checking in the Second-Order $\lambda$-Calculus Are Equivalent and Undecidable
%N 93
%I Boston University, Computer Science Department
%8 January
%D 1994
%K parametricity