%O BookSection 
%F pottinger80
%A Pottinger, G.
%T A Type Assignment for the Strongly Normalizable Lambda-Terms
%B To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
%E Hindley, J.
%E Seldin, J.
%P 561-577
%I Academic Press
%D 1980
%K parametricity