%O Thesis 
%9 PhdThesis 
%F by79
%A Ben-Yelles, C.
%T Type-assignment in the Lambda-calculus
%I University College, Swansea
%D 1979
%K parametricity