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