Adding Algebraic Rewriting to the Untyped Lambda Calculus

Daniel J. Dougherty

Published in: Inf. Comput. (1992)

Keyphrases

lambda calculus
programming language
higher order
predicate calculus
program understanding
database query languages
complex objects
query rewriting
database
general purpose
conjunctive queries
semantic network