Resource operators for lambda-calculus.

Delia Kesner Stéphane Lengrand

Published in: Inf. Comput. (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
database
high level
co occurrence
incomplete information
complex objects