A quantitative computational model for complete partial metric spaces via formal balls (Q3636910): Difference between revisions

@@ Property / author @@
+Salvador Romaguera
@@ Property / author: Salvador Romaguera / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Sequence spaces and asymmetric norms in the theory of computational complexity.
+Normal rank
@@ Property / cites work @@
+Distance and Measurement in Domain Theory
@@ Property / cites work: Distance and Measurement in Domain Theory / 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 @@
+The correspondence between partial metrics and semivaluations
+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 @@
+A characterization of partial metrizability: Domains are quantifiable.
+Normal rank
@@ Property / cites work @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+The Smyth Completion
@@ Property / cites work: The Smyth Completion / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted colimits and formal balls in generalized metric spaces
+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 @@
+Quasi-metric properties of complexity spaces
@@ Property / cites work: Quasi-metric properties of complexity spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of the normed cone of semi-Lipschitz functions
+Normal rank
@@ Property / cites work @@
+Semi-Lipschitz functions and best approximation in quasi-metric spaces
+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 @@
+Bicompleting weightable quasi-metric spaces and partial metric spaces
+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 @@
+Partial quasi-metrics
@@ Property / cites work: Partial quasi-metrics / 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 @@
+Approximation of metric spaces by partial metric spaces
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / 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 @@
+Quantitative continuous domains
@@ Property / cites work: Quantitative continuous domains / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-uniform completeness in terms of Cauchy nets
+Normal rank