A Mixed lambda-calculus.

Marie-Renée Fleury Myriam Quatrini

Published in: Stud Logica (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
natural language processing
data model
general purpose
expressive power