Domain theoretic characterisations of quasi-metric completeness in terms of formal balls (Q3564344): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative continuous domains
@@ Property / cites work: Quantitative continuous domains / rank @@
+Normal rank
@@ Property / cites work @@
+Cauchy sequences in quasi-pseudo-metric spaces
@@ Property / cites work: Cauchy sequences in quasi-pseudo-metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-uniform completeness in terms of Cauchy nets
+Normal rank
@@ Property / cites work @@
+The correspondence between partial metrics and semivaluations
+Normal rank
@@ Property / cites work @@
+Partial Metric Topology
@@ Property / cites work: Partial Metric Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces of maximal points
@@ Property / cites work: Spaces of maximal points / rank @@
+Normal rank
@@ Property / cites work @@
+On the Yoneda completion of a quasi-metric space
@@ Property / cites work: On the Yoneda completion of a quasi-metric space / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized ultrametric spaces in quantitative domain theory
+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 @@
+Partial metrisability of continuous posets
@@ Property / cites work: Partial metrisability of continuous posets / 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 @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+The space of formal balls and models of quasi-metric spaces
+Normal rank
@@ Property / cites work @@
+A characterization of partial metrizability: Domains are quantifiable.
+Normal rank
@@ Property / cites work @@
+Weighted colimits and formal balls in generalized metric spaces
+Normal rank
@@ Property / cites work @@
+A quantitative computational model for complete partial metric spaces via formal balls
+Normal rank
@@ Property / cites work @@
+Partial metric monoids and semivaluation spaces
@@ Property / cites work: Partial metric monoids and semivaluation spaces / rank @@
+Normal rank
@@ Property / cites work @@
+The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words
+Normal rank
@@ Property / cites work @@
+Denotational semantics for programming languages, balanced quasi-metrics and fixed points
+Normal rank
@@ Property / cites work @@
+Distance and Measurement in Domain Theory
@@ Property / cites work: Distance and Measurement in Domain Theory / rank @@
+Normal rank