Generalizing Substitution (Q4460688): Difference between revisions

@@ Property / OpenAlex ID @@
+W4253767731
@@ Property / OpenAlex ID: W4253767731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738111
@@ Property / cites work: Q4738111 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+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 @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised coinduction
@@ Property / cites work: Generalised coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843722
@@ Property / cites work: Q2843722 / 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 @@
+Dualising initial algebras
@@ Property / cites work: Dualising initial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Monads
@@ Property / cites work: Coalgebraic Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769437
@@ Property / cites work: Q2769437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256307
@@ Property / cites work: Q4256307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution in non-wellfounded syntax with variable binding
+Normal rank
@@ Property / cites work @@
+On Iteratable Endofunctors
@@ Property / cites work: On Iteratable Endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric corecursion
@@ Property / cites work: Parametric corecursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267198
@@ Property / cites work: Q4267198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765926
@@ Property / cites work: Q2765926 / rank @@
+Normal rank