Semantics for Algebraic Operations (Q4917064): Difference between revisions

@@ Property / author @@
+Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / rank @@
+Normal rank
@@ Property / author @@
+A. John Power
@@ Property / author: A. John Power / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A representable approach to finite nondeterminism
@@ Property / cites work: A representable approach to finite nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771052
@@ Property / cites work: Q2771052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704209
@@ Property / cites work: Q4704209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261097
@@ Property / cites work: Q4261097 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80970-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2026028037
@@ Property / OpenAlex ID: W2026028037 / rank @@
+Normal rank