On the Yoneda completion of a quasi-metric space

H.P. Künzi, M.P. Schellekens
2002 Theoretical Computer Science  
Several theories aimed at reconciling the partial order and the metric space approaches to Domain Theory have been presented in the literature (e.g. Flagg and Kopperman, Theoret. Comput.
doi:10.1016/s0304-3975(00)00335-2 fatcat:n2tbmyzncjhahpw5sgbs4qpak4