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

by Fabio Alessi , Mariangiola Dezani-Ciancaglini , Ugo de' Liguoro
Citations:1 - 1 self