S Romaguera,
O Valero - Mathematical Structures in Computer …, 2009 - cambridge.org
Given a partial metric space (X, p), we use (BX,⊑ dp) to denote the poset of formal balls of
the associated quasi-metric space (X, dp). We obtain characterisations of complete partial …