The Disjunctive Constrained Lambda Calculus.

Luis Mandel María Victoria Cengarle

Published in: Ershov Memorial Conference (1996)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
natural language processing
higher order
general purpose
user defined
theorem proving