Richard Statman. The Typed lambda-Calculus Is not Elementary Recursive. In 18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA. pages 90-94, IEEE, 1977.
@inproceedings{Statman77,
title = {The Typed lambda-Calculus Is not Elementary Recursive},
author = {Richard Statman},
year = {1977},
researchr = {https://researchr.org/publication/Statman77},
cites = {0},
citedby = {0},
pages = {90-94},
booktitle = {18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA},
publisher = {IEEE},
}