The metric closure powerspace construction (0)

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