%O Report 
%F paschw92a
%A Palsberg, J.
%A Schwartzbach, M.
%T Polyvariant Analysis of the Untyped Lambda Calculus
%N 0
%I DAIMI, Aarhus University
%8 February
%D 1992
%K dyntyp