The Intensional Lambda Calculus.

Sergei N. Artëmov Eduardo Bonelli

Published in: LFCS (2007)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
program understanding
complex objects
query evaluation
database query languages
data structure
data integration
database
high level
object oriented
distance function
integrity constraints