Unguarded recursion on coinductive resumptions (Q5971399): Difference between revisions

@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+Q5454623
@@ Property / cites work: Q5454623 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of iterative monads
@@ Property / cites work: Equational properties of iterative monads / rank @@
+Normal rank
@@ Property / cites work @@
+Elgot theories: a new perspective on the equational properties of iteration
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised coinduction
@@ Property / cites work: Generalised coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to distributive categories
@@ Property / cites work: Introduction to distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+A coinductive calculus for asynchronous side-effecting processes
+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 @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
+Normal rank
@@ Property / cites work @@
+Q4282574
@@ Property / cites work: Q4282574 / 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 @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads for behaviour
@@ Property / cites work: Monads for behaviour / rank @@
+Normal rank
@@ Property / cites work @@
+The coinductive resumption monad
@@ Property / cites work: The coinductive resumption monad / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for Algebraic Operations
@@ Property / cites work: Semantics for Algebraic Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers of Algebraic Effects
@@ Property / cites work: Handlers of Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Coinduction and Weak Bisimilarity for While Programs
+Normal rank
@@ Property / cites work @@
+Generalizing Substitution
@@ Property / cites work: Generalizing Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point constructions in order-enriched categories
+Normal rank