Incremental Reduction in the lambda Calculus.

John Field Tim Teitelbaum

Published in: LISP and Functional Programming (1990)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
artificial intelligence
knowledge base
higher order
databases
database systems
software systems
first order logic
expressive power
program understanding