Tensors of Comodels and Models for Operational Semantics (Q5415644): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.10.018
+Normal rank
@@ Property / OpenAlex ID @@
+W1981062279
@@ Property / OpenAlex ID: W1981062279 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Positive subtyping
@@ Property / cites work: Positive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Combining algebraic effects with continuations
@@ Property / cites work: Combining algebraic effects with continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Lawvere theories and computational effects
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324132
@@ Property / cites work: Q3324132 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic semantics for timed processes
@@ Property / cites work: Coalgebraic semantics for timed processes / 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 @@
+Q2771052
@@ Property / cites work: Q2771052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851544
@@ Property / cites work: Q2851544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704209
@@ Property / cites work: Q4704209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847820
@@ Property / cites work: Q2847820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3876103
@@ Property / cites work: Q3876103 / rank @@
+Normal rank