![](/img/cover-not-exists.png)
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
Alessi, Fabio, Dezani-Ciancaglini, Mariangiola, Liguoro, Ugo de'Volume:
32
Year:
1997
Journal:
Fundamenta Informaticae
DOI:
10.3233/fi-1997-323401
File:
PDF, 3.15 MB
1997