Two-level Lambda-calculus.

Murdoch James Gabbay Dominic P. Mulligan

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
complex objects
relational databases
object oriented
software engineering
semantic network
software maintenance