Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract).

Daniel J. Dougherty

Published in: RTA (1991)

Keyphrases

extended abstract
lambda calculus
programming language
predicate calculus
higher order
query rewriting
program understanding
database query languages
knowledge base
complex objects
artificial intelligence
formal model
databases
high level
incomplete information