M.P.: On the yoneda completion of a quasi-metric space (2002)

by H P Künzi, Schellekens
Venue:Theor. Comput. Sci