Free constructions of powerdomains (1985)

by M G Main
Venue:Mathematical Foundations of Programming Semantics