The Safe Lambda Calculus

William Blum C.-H. Luke Ong

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
databases
higher order
complex objects
data warehouse