Telescopic Mappings in Typed Lambda Calculus

N. G. de Bruijn

Published in: Inf. Comput. (1991)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
artificial intelligence
schema mappings
complex objects
high level
general purpose
data integration