Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) (Q2805168): Difference between revisions

@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5454623
@@ Property / cites work: Q5454623 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras and free iterative theories
@@ Property / cites work: Terminal coalgebras and free iterative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative algebras at work
@@ Property / cites work: Iterative algebras at work / rank @@
+Normal rank
@@ Property / cites work @@
+Elgot Algebras
@@ Property / cites work: Elgot Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+What Are Iteration Theories?
@@ Property / cites work: What Are Iteration Theories? / 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 @@
+Iterative reflections of monads
@@ Property / cites work: Iterative reflections of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Regular trees and the free iterative theory
@@ Property / cites work: Regular trees and the free iterative theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Uniformity Principle on Traced Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion and corecursion have the same equational logic
+Normal rank