The differential lambda-calculus.

Thomas Ehrhard Laurent Regnier

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

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
database
higher order
general purpose
formal model