The Baire partial quasi-metric space: A mathematical tool for asymptotic complexity analysis in Computer Science

M. A. Cerdà-Uguet, M. P. Schellekens, O. Valero

In 1994, S.G. Matthews introduced the notion of partial metric space in order to obtain a suitable mathematical tool for program verification [Ann. New York Acad. Sci. 728 (1994),…