On algebras with effectful iteration (Q1798792): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2891428115
@@ Property / OpenAlex ID: W2891428115 / rank @@
+Normal rank
@@ Property / cites work @@
+Elgot Algebras
@@ Property / cites work: Elgot Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative algebras at work
@@ Property / cites work: Iterative algebras at work / 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 @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200272
@@ Property / cites work: Q5200272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3164468
@@ Property / cites work: Q3164468 / rank @@
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations of Weighted Tree Automata
@@ Property / cites work: Simulations of Weighted Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+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 algebras with effectful iteration
@@ Property / cites work: On algebras with effectful iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Completely iterative algebras and completely iterative monads
+Normal rank
@@ Property / cites work @@
+Q4683859
@@ Property / cites work: Q4683859 / rank @@
+Normal rank
@@ Property / cites work @@
+Proper Functors and their Rational Fixed Point.
@@ Property / cites work: Proper Functors and their Rational Fixed Point. / rank @@
+Normal rank
@@ Property / cites work @@
+A new foundation for finitary corecursion and iterative algebras
+Normal rank
@@ Property / cites work @@
+A New Foundation for Finitary Corecursion
@@ Property / cites work: A New Foundation for Finitary Corecursion / rank @@
+Normal rank
@@ Property / cites work @@
+Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
+Normal rank
@@ Property / cites work @@
+Finitary Corecursion for the Infinitary Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Iterative algebras
@@ Property / cites work: Iterative algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343411
@@ Property / cites work: Q5343411 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing determinization from automata to coalgebras
+Normal rank
@@ Property / cites work @@
+Congruences of convex algebras.
@@ Property / cites work: Congruences of convex algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Proper semirings and proper convex functors
@@ Property / cites work: Proper semirings and proper convex functors / rank @@
+Normal rank
@@ 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 @@
+Finite Behaviours and Finitary Corecursion
@@ Property / cites work: Finite Behaviours and Finitary Corecursion / rank @@
+Normal rank