%O Thesis 
%9 PhdThesis 
%F benyelles79
%A Ben-Yelles, Ch.
%T Type Assignment in the Lambda-Calculus: Syntax and Semantics
%I Department of Pure Mathematics, University College of Swansea
%8 September
%D 1979
%K parametricity