Domain theoretic characterisations of quasi-metric completeness in terms of formal balls

Salvador Romaguera, Oscar Valero. Domain theoretic characterisations of quasi-metric completeness in terms of formal balls. Mathematical Structures in Computer Science, 20(3):453-472, 2010. [doi]

Abstract

Abstract is missing.