Weak linearization of the lambda calculus.

Sandra Alves Mário Florido

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

Keyphrases

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