%O BookSection 
%F statman80
%A Statman, R.
%T On the Existence of Closed Terms in the Type Lambda-Calculus I
%B To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
%E Hindley, J.
%E Seldin, J.
%P 511-534
%I Academic Press
%D 1980
%K typetheory