Objects and their lambda calculus.

Athanassios Tzouvaras

Published in: Theor. Comput. Sci. (2001)

Keyphrases

lambda calculus
d objects
database
artificial intelligence
test cases
incomplete information
complex objects
predicate calculus