Yoneda Completion via a DCPO Completion of its Poset of Formal Balls. - Kok Min Ng; Weng Kin Ho (ISDT, 2017)

A Few Notes on Formal Balls. - Jean Goubault-Larrecq; Kok Min Ng (Log. Methods Comput. Sci., 2017)

Quasi-continuous Yoneda Complete Quasi-Metric Space. - Kok Min Ng; Weng Kin Ho (ISDT, 2019)