The Typed lambda-Calculus is not Elementary Recursive.

Richard Statman

Published in: Theor. Comput. Sci. (1979)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
high level
complex objects
object oriented
test cases
datalog programs