Enlargement of Functional Algebras for the Lambda Calculus.

Robert Goldblatt

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

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
knowledge base
case study
general purpose
integrity constraints
program understanding