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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(05)80050-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2042879339
@@ Property / OpenAlex ID: W2042879339 / rank @@
+Normal rank