Uniform Completion versus Ideal Completion of Posets with Projections (Q4923375): Difference between revisions

@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric semantics from partial order semantics
@@ Property / cites work: Metric semantics from partial order semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
+Normal rank
@@ Property / cites work @@
+Q5522002
@@ Property / cites work: Q5522002 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining data type and recursive process specifications using projection algebras
+Normal rank
@@ Property / cites work @@
+Q3997287
@@ Property / cites work: Q3997287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric semantics for concurrency
@@ Property / cites work: Metric semantics for concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3812305
@@ Property / cites work: Q3812305 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric completion versus ideal completion
@@ Property / cites work: Metric completion versus ideal completion / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+On functions preserving levels of approximation: A refined model construction for various lambda calculi
+Normal rank