Storage Operators and Directed Lambda-Calculus.

René David Karim Nour

Published in: J. Symb. Log. (1995)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
databases
higher order
complex objects
data storage
database
database systems
pairwise
general purpose