Fabio Alessi Mariangiola Dezani-Ciancaglini Ugo de'Liguoro A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. 193-250 1997 32 Fundam. Inform. 3-4 db/journals/fuin/fuin32.html#AlessiDd97