1. Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding;Bonsangue;Theor. Comput. Sci.,1998
2. Domain-complete and LCS-complete spaces;de Brecht,2019
3. A computational model for metric spaces;Edalat;Theor. Comput. Sci.,1998
4. Properly injective spaces and function spaces;Escardó;Topol. Appl.,1998
5. Continuous Lattices and Domains;Gierz,2003