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

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics