Unifying structured recursion schemes (Q5371980): Difference between revisions

@@ Property / cites work @@
+Categorical fixed point calculus
@@ Property / cites work: Categorical fixed point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised coinduction
@@ Property / cites work: Generalised coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised folds for nested datatypes
@@ Property / cites work: Generalised folds for nested datatypes / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive coalgebras from comonads
@@ Property / cites work: Recursive coalgebras from comonads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3012624
@@ Property / cites work: Q3012624 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint functors and triples
@@ Property / cites work: Adjoint functors and triples / rank @@
+Normal rank
@@ Property / cites work @@
+Generic downwards accumulations
@@ Property / cites work: Generic downwards accumulations / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the unique fixed-point principle correct
@@ Property / cites work: Proving the unique fixed-point principle correct / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying structured recursion schemes
@@ Property / cites work: Unifying structured recursion schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Conjugate Hylomorphisms -- Or
@@ Property / cites work: Conjugate Hylomorphisms -- Or / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy theory in general categories
@@ Property / cites work: Homotopy theory in general categories / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Functors
@@ Property / cites work: Adjoint Functors / rank @@
+Normal rank
@@ Property / cites work @@
+Every Standard Construction is Induced by a Pair of Adjoint Functors
+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 @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Data structures and program transformation
@@ Property / cites work: Data structures and program transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution in non-wellfounded syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Paramorphisms
@@ Property / cites work: Paramorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Q5679005
@@ Property / cites work: Q5679005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4816998
@@ Property / cites work: Q4816998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939621
@@ Property / cites work: Q4939621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267198
@@ Property / cites work: Q4267198 / rank @@
+Normal rank
@@ Property / cites work @@
+Comonadic Notions of Computation
@@ Property / cites work: Comonadic Notions of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+The Recursion Scheme from the Cofree Recursive Comonad
+Normal rank
@@ Property / cites work @@
+Q2765926
@@ Property / cites work: Q2765926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2718773
@@ Property / cites work: Q2718773 / rank @@
+Normal rank