A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.

Fabio Alessi Mariangiola Dezani-Ciancaglini Ugo de'Liguoro

Published in: Fundam. Informaticae (1997)

Keyphrases

lambda calculus
predicate calculus
programming language
database query languages
program understanding
complex objects
higher order
pairwise
high level
database systems
general purpose
formal model