A Survey of Some Syntactic Results in the lambda-Calculus.

Gérard Berry Jean-Jacques Lévy

Published in: MFCS (1979)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
complex objects
database query languages
natural language
parse tree
databases
artificial intelligence
higher level