Complete partial metric spaces have partially metrizable computational models
From MaRDI portal
Publication:5891573
DOI10.1080/00207160.2011.559229zbMath1243.68181MaRDI QIDQ5891573
No author found.
Publication date: 15 May 2012
Published in: International Journal of Computer Mathematics (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10251/46841
06A06: Partial orders, general
54E50: Complete metric spaces
06B35: Continuous lattices and posets, applications
Related Items
ON Ψ-PROJECTIVE EXPANSION, QUASI PARTIAL METRICS AGGREGATION WITH AN APPLICATION, On the domain of formal balls of the Sorgenfrey quasi-metric space, On fixed point theory in partial metric spaces, Fixed point theorems in generalized metric spaces with applications to computer science, A study on the relationship between relaxed metrics and indistinguishability operators
Cites Work
- Generalized ultrametric spaces in quantitative domain theory
- A computational model for metric spaces
- Computable Banach spaces via domain theory
- Weighted colimits and formal balls in generalized metric spaces
- Approximation of metric spaces by partial metric spaces
- A characterization of partial metrizability: Domains are quantifiable.
- Quantitative continuous domains
- Bounded complete models of topological spaces
- The constructive maximal point space and partial metrizability
- Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
- The space of formal balls and models of quasi-metric spaces
- A quantitative computational model for complete partial metric spaces via formal balls
- A quasi-metric computational model from modular functions on monoids
- Partial Metric Topology
- Spaces of maximal points
- Denotational semantics for programming languages, balanced quasi-metrics and fixed points
- Partial metrisability of continuous posets