Quasi-continuous Yoneda complete quasi-metric space (Q2130612): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2019.07.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2971700100
@@ Property / OpenAlex ID: W2971700100 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317440
@@ Property / Wikidata QID: Q113317440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+The space of formal balls and models of quasi-metric spaces
+Normal rank
@@ Property / cites work @@
+Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+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 @@
+Q3310666
@@ Property / cites work: Q3310666 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Hausdorff Topology and Domain Theory
@@ Property / cites work: Non-Hausdorff Topology and Domain Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Few Notes on Formal Balls
@@ Property / cites work: A Few Notes on Formal Balls / rank @@
+Normal rank
@@ Property / cites work @@
+Quasicontinuous domains and the Smyth powerdomain
@@ Property / cites work: Quasicontinuous domains and the Smyth powerdomain / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997287
@@ Property / cites work: Q3997287 / rank @@
+Normal rank
@@ Property / cites work @@
+The formal ball model for -categories
@@ Property / cites work: The formal ball model for -categories / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Quasicontinuity of posets via Scott topology and sobrification
+Normal rank
@@ Property / cites work @@
+Q4485837
@@ Property / cites work: Q4485837 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
+Normal rank
@@ Property / cites work @@
+On Domain Theory over Girard Quantales
@@ Property / cites work: On Domain Theory over Girard Quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding metric spaces into CPO's
@@ Property / cites work: Embedding metric spaces into CPO's / rank @@
+Normal rank