Elgot theories: a new perspective on the equational properties of iteration (Q3005993): Difference between revisions

@@ Property / cites work @@
+Unique fixed points vs. least fixed points
@@ Property / cites work: Unique fixed points vs. least fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Independence of the equational axioms for iteration theories
+Normal rank
@@ Property / cites work @@
+Parametric corecursion
@@ Property / cites work: Parametric corecursion / rank @@
+Normal rank
@@ Property / cites work @@
+Completely iterative algebras and completely iterative monads
+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 @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of Higher-Order Recursion Schemes
@@ Property / cites work: Semantics of Higher-Order Recursion Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / 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 algebras at work
@@ Property / cites work: Iterative algebras at work / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative reflections of monads
@@ Property / cites work: Iterative reflections of monads / 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 @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+On the monadicity of finitary monads
@@ Property / cites work: On the monadicity of finitary monads / rank @@
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936346
@@ Property / cites work: Q4936346 / rank @@
+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 @@
+Iterative algebras
@@ Property / cites work: Iterative algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Recursion and corecursion have the same equational logic
+Normal rank