Distance and Measurement in Domain Theory

DOI10.1016/S1571-0661(04)80975-7zbMath1260.68222OpenAlexW2114679751MaRDI QIDQ4917069

Paweł Waszkiewicz

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80975-7

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

On quasi-metrizable \(d\)-spaces ⋮ Fixed points of mappings with a contractive iterate at a point in partial metric spaces ⋮ A generalized contraction principle with control functions on partial metric spaces ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ A quantitative computational model for complete partial metric spaces via formal balls

Cites Work

• Unnamed Item
• A computational model for metric spaces
• Approximation of metric spaces by partial metric spaces
• Sobriety in terms of nets