Login / Signup
Lambda-Calculus Schemata.
Michael J. Fischer
Published in:
LISP Symb. Comput. (1993)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
higher order
functional dependencies
program understanding
complex objects
database schema
database systems
object oriented