A Convex Powerdomain over Lattices: its Logic and λ-Calculus (1997)
by
Fabio Alessi
,
Mariangiola Dezani-Ciancaglini
,
Ugo de' Liguoro
| Citations: | 1 - 1 self |
Document Versions
| A Convex Powerdomain over Lattices: its Logic and λ-Calculus –Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro — 1997 |
| A Convex Powerdomain over Lattices: its Logic and λ-Calculus –Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D — 1997 |
