The Typed lambda-Calculus Is not Elementary Recursive

Richard Statman

Published in: FOCS (1977)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
complex objects
case study
software engineering
general purpose