%O Report 
%F kfti89
%A Kfoury, A.
%A Tiuryn, J.
%T Type Reconstruction in Finite Rank Fragments of the Second-Order Lambda Calculus
%N 0
%I Boston University
%8 October
%D 1989
%K parametricity