The category-theoretic solution of recursive program schemes (Q860876): Difference between revisions

@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ 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 @@
+On the greatest fixed point of a set functor
@@ Property / cites work: On the greatest fixed point of a set functor / 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 @@
+Free iterative theories: a coalgebraic view
@@ Property / cites work: Free iterative theories: a coalgebraic view / rank @@
+Normal rank
@@ Property / cites work @@
+On coalgebra based on classes
@@ Property / cites work: On coalgebra based on classes / rank @@
+Normal rank
@@ Property / cites work @@
+On tree coalgebras and coalgebra presentations
@@ Property / cites work: On tree coalgebras and coalgebra presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Banach's fixed-point theorem as a base for data-type equations
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Q3900995
@@ Property / cites work: Q3900995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040874
@@ Property / cites work: Q4040874 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+All solutions of a system of recursion equations in infinite trees and other contraction theories
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / 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 @@
+A Perspective View of Discrete Automata and Their Design
+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 @@
+Algebras, Coalgebras, Monads and Comonads
@@ Property / cites work: Algebras, Coalgebras, Monads and Comonads / 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 @@
+Dualising initial algebras
@@ Property / cites work: Dualising initial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics
@@ Property / cites work: Algebraic semantics / 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 @@
+Q5755494
@@ Property / cites work: Q5755494 / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of self-similarity
@@ Property / cites work: A general theory of self-similarity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843728
@@ Property / cites work: Q2843728 / rank @@
+Normal rank
@@ Property / cites work @@
+On Iteratable Endofunctors
@@ Property / cites work: On Iteratable Endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+Completely iterative algebras and completely iterative monads
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3635984
@@ Property / cites work: Q3635984 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric corecursion
@@ Property / cites work: Parametric corecursion / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform Functors on Sets
@@ Property / cites work: Uniform Functors on Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank