The metric closure powerspace construction (1987)

by R E Kent
Venue:Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics, volume 298 of Lecture Notes in Computer Science