Fixed points of contractive maps on dcpo's (Q5740348): Difference between revisions

@@ Property / cites work @@
+Complexity spaces as quantitative domains of computation
+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 @@
+Partial Metric Topology
@@ Property / cites work: Partial Metric Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of the complexity space to the general probabilistic divide and conquer algorithms
+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 @@
+Approximation of metric spaces by partial metric spaces
+Normal rank
@@ Property / cites work @@
+Dieudonné completion and \(PT\)-groups
@@ Property / cites work: Dieudonné completion and \(PT\)-groups / rank @@
+Normal rank
@@ Property / cites work @@
+Intrinsic approach spaces on domains
@@ Property / cites work: Intrinsic approach spaces on domains / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative continuous domains
@@ Property / cites work: Quantitative continuous domains / rank @@
+Normal rank
@@ Property / cites work @@
+A Relationship between Equilogical Spaces and Type Two Effectivity
+Normal rank
@@ Property / cites work @@
+A characterization of partial metrizability: Domains are quantifiable.
+Normal rank
@@ Property / cites work @@
+The Smyth Completion
@@ Property / cites work: The Smyth Completion / rank @@
+Normal rank
@@ Property / cites work @@
+Distances on probability measures and random variables
+Normal rank