%0 Journal Article 
%F hi69
%A Hindley, R.
%T The Principal Type-Scheme of an Object in Combinatory Logic
%J Trans. Amer. Math. Soc
%V 146
%P 29-60
%8 December
%D 1969
%K parametricity