A Convex Powerdomain over Lattices: its Logic and λ-Calculus (1997)

by Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro