Complete Elgot monads and coalgebraic resumptions (Q1744384): Difference between revisions

@@ Property / OpenAlex ID @@
+W2963088364
@@ Property / OpenAlex ID: W2963088364 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02148
@@ Property / arXiv ID: 1603.02148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ 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 @@
+Q2849883
@@ Property / cites work: Q2849883 / rank @@
+Normal rank
@@ Property / cites work @@
+Elgot Algebras
@@ Property / cites work: Elgot Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for parametrized iterativity
@@ Property / cites work: Bases for parametrized iterativity / 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 @@
+Traced Premonoidal Categories
@@ Property / cites work: Traced Premonoidal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+General Recursion via Coinductive Types
@@ Property / cites work: General Recursion via Coinductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Unguarded recursion on coinductive resumptions
@@ Property / cites work: Unguarded recursion on coinductive resumptions / rank @@
+Normal rank
@@ Property / cites work @@
+A coinductive calculus for asynchronous side-effecting processes
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / 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 @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / 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 @@
+Generalizing Substitution
@@ Property / cites work: Generalizing Substitution / rank @@
+Normal rank