Complete partial metric spaces have partially metrizable computational models
From MaRDI portal
Publication:5891573
DOI10.1080/00207160.2011.559229zbMath1243.68181OpenAlexW2095516469MaRDI 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
Partial orders, general (06A06) Complete metric spaces (54E50) Continuous lattices and posets, applications (06B35)
Related Items (7)
On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ Fixed point results on ordered Prešić type mappings ⋮ A characterisation of weightable quasi-metric generating functions ⋮ 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 ⋮ ON Ψ-PROJECTIVE EXPANSION, QUASI PARTIAL METRICS AGGREGATION WITH AN APPLICATION
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
This page was built for publication: Complete partial metric spaces have partially metrizable computational models
