Graph models of lambda-calculus at work, and variations.

Chantal Berline

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
databases
expressive power
natural language
query language
open source
data management
first order logic
complex objects