Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
scientific article; zbMATH DE number 1189760
scientific article