A Typed Lambda Calculus of Objects (Extended Abstract).

Luigi Liquori Giuseppe Castagna

Published in: ASIAN (1996)

Keyphrases

extended abstract
lambda calculus
programming language
predicate calculus
database query languages
program understanding
database
higher order
artificial intelligence
expert systems
pairwise
integrity constraints
incomplete information
formal model