Quasi-uniformities: reconciling domains with metric spaces (1988)

by M B Smyth
Venue:Mathematical Foundations of Programming Language Semantics, 3rd Workshop