The Typed lambda-Calculus Is not Elementary Recursive

Richard Statman

Browse the full FOCS paper archive.