Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
+Normal rank
@@ Property / cites work @@
+Q4373412
@@ Property / cites work: Q4373412 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3699677
@@ Property / cites work: Q3699677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373409
@@ Property / cites work: Q4373409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity spaces: Reconciling domains and metric spaces
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3730636
@@ Property / cites work: Q3730636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3491793
@@ Property / cites work: Q3491793 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798837
@@ Property / cites work: Q3798837 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Q3792854
@@ Property / cites work: Q3792854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Metric Topology
@@ Property / cites work: Partial Metric Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Topologies on Spaces of Subsets
@@ Property / cites work: Topologies on Spaces of Subsets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3869981
@@ Property / cites work: Q3869981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3920613
@@ Property / cites work: Q3920613 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of generalized ultrametric domain theory
@@ Property / cites work: Elements of generalized ultrametric domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted colimits and formal balls in generalized metric spaces
+Normal rank
@@ Property / cites work @@
+Q3821265
@@ Property / cites work: Q3821265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3359391
@@ Property / cites work: Q3359391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding metric spaces into CPO's
@@ Property / cites work: Embedding metric spaces into CPO's / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5831366
@@ Property / cites work: Q5831366 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00042-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2001923225
@@ Property / OpenAlex ID: W2001923225 / rank @@
+Normal rank