Continuity spaces: Reconciling domains and metric spaces (Q1391864): Difference between revisions

@@ Property / Wikidata QID @@
+Q56040409
@@ Property / Wikidata QID: Q56040409 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales, observational logic and process semantics
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Q5540221
@@ Property / cites work: Q5540221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137152
@@ Property / cites work: Q3137152 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and continuity spaces
@@ Property / cites work: Quantales and continuity spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222757
@@ Property / cites work: Q4222757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231884
@@ Property / cites work: Q4231884 / rank @@
+Normal rank
@@ Property / cites work @@
+C-complete quasi-uniform spaces
@@ Property / cites work: C-complete quasi-uniform spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of structure spaces with applications to spaces of prime ideals
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Real-valued models with metric equality and uniformly continuous predicates
+Normal rank
@@ Property / cites work @@
+All Topologies Come From Generalized Metrics
@@ Property / cites work: All Topologies Come From Generalized Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Asymmetry and duality in topology
@@ Property / cites work: Asymmetry and duality in topology / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Sobrification and bicompletion of totally bounded quasi-uniform spaces
+Normal rank
@@ Property / cites work @@
+Q3812305
@@ Property / cites work: Q3812305 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+An application of open maps to categorical logic
@@ Property / cites work: An application of open maps to categorical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completely Distributive Complete Lattices
@@ Property / cites work: Completely Distributive Complete Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+CPO's of measures for nondeterminism
@@ Property / cites work: CPO's of measures for nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336431
@@ Property / cites work: Q3336431 / rank @@
+Normal rank
@@ Property / cites work @@
+A metric for weak convergence of distribution functions
+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 @@
+Stable Compactification I
@@ Property / cites work: Stable Compactification I / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing a quasi-uniform function space
@@ Property / cites work: Constructing a quasi-uniform function space / rank @@
+Normal rank
@@ Property / cites work @@
+Domains arising as algebras for powerspace constructions
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00236-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2087031585
@@ Property / OpenAlex ID: W2087031585 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/FlaggK97
@@ Property / DBLP publication ID: journals/tcs/FlaggK97 / rank @@
+Normal rank