Login / Signup
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