A Colored Version of the Lambda-Calculus.

Dieter Hutter Michael Kohlhase

Published in: CADE (1997)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
artificial intelligence
complex objects
database
program understanding
higher order