A convex powerdomain over lattices: its logic and -calculus (0)

by F Alessi, M Dezani-Ciancaglini, U de'Liguoro
Venue:Fund. Inf