Recursive Program Schemes and Context-Free Monads (Q2919447): Difference between revisions

@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+A Coalgebraic View of Infinite Trees and Iteration
+Normal rank
@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / 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 @@
+Iterative reflections of monads
@@ Property / cites work: Iterative reflections of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on finitary and iterative monads
@@ Property / cites work: Some remarks on finitary and iterative monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Algebraic Equations Using Coalgebra
@@ Property / cites work: Solving Algebraic Equations Using Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Monads of coalgebras: rational terms and term graphs
+Normal rank
@@ Property / cites work @@
+Algebras, Coalgebras, Monads and Comonads
@@ Property / cites work: Algebras, Coalgebras, Monads and Comonads / rank @@
+Normal rank
@@ Property / cites work @@
+Dualising initial algebras
@@ Property / cites work: Dualising initial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Coproducts of Ideal Monads
@@ Property / cites work: Coproducts of Ideal Monads / 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 @@
+Algebraic semantics
@@ Property / cites work: Algebraic semantics / 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 @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Completely iterative algebras and completely iterative monads
+Normal rank
@@ Property / cites work @@
+The category-theoretic solution of recursive program schemes
+Normal rank
@@ Property / cites work @@
+Parametric corecursion
@@ Property / cites work: Parametric corecursion / rank @@
+Normal rank