Complete partial metric spaces have partially metrizable computational models (Q5891574): Difference between revisions

@@ Property / arXiv ID @@
+.3252
@@ Property / arXiv ID: 1012.3252 / rank @@
+Normal rank
@@ Property / cites work @@
+The space of formal balls and models of quasi-metric spaces
+Normal rank
@@ Property / cites work @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Banach spaces via domain theory
@@ Property / cites work: Computable Banach spaces via domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation of metric spaces by partial metric spaces
+Normal rank
@@ Property / cites work @@
+Bounded complete models of topological spaces
@@ Property / cites work: Bounded complete models of topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized ultrametric spaces in quantitative domain theory
+Normal rank
@@ Property / cites work @@
+Spaces of maximal points
@@ Property / cites work: Spaces of maximal points / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Metric Topology
@@ Property / cites work: Partial Metric Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational semantics for programming languages, balanced quasi-metrics and fixed points
+Normal rank
@@ Property / cites work @@
+A quasi-metric computational model from modular functions on monoids
+Normal rank
@@ Property / cites work @@
+A quantitative computational model for complete partial metric spaces via formal balls
+Normal rank
@@ Property / cites work @@
+Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
+Normal rank
@@ Property / cites work @@
+Weighted colimits and formal balls in generalized metric spaces
+Normal rank
@@ Property / cites work @@
+A characterization of partial metrizability: Domains are quantifiable.
+Normal rank
@@ Property / cites work @@
+The constructive maximal point space and partial metrizability
+Normal rank
@@ Property / cites work @@
+Quantitative continuous domains
@@ Property / cites work: Quantitative continuous domains / rank @@
+Normal rank
@@ Property / cites work @@
+Partial metrisability of continuous posets
@@ Property / cites work: Partial metrisability of continuous posets / rank @@
+Normal rank