%0 Journal Article 
%F stat79b
%A Statman, R.
%T The Typed Lambda Calculus is not Elementary Recursive
%J Theoretical Computer Science
%V 9
%P 73-82
%D 1979
%K parametricity
%K  typetheory