A Lambda Calculus of Objects with Self-Inflicted Extension.

Pietro Di Gianantonio Furio Honsell Luigi Liquori

Published in: OOPSLA (1998)

Keyphrases

lambda calculus
databases
d objects
data structure
programming language
artificial intelligence
higher order
knowledge base
high level
query processing
data model
expressive power
predicate calculus