Higher-order Algebras and Coalgebras from Parameterized Endofunctors (Q2919455): Difference between revisions

@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+Parameterised notions of computation
@@ Property / cites work: Parameterised notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for computation in context and unified logic
+Normal rank
@@ Property / cites work @@
+Foundations for structured programming with GADTs
@@ Property / cites work: Foundations for structured programming with GADTs / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing Substitution
@@ Property / cites work: Generalizing Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Comonadic Notions of Computation
@@ Property / cites work: Comonadic Notions of Computation / rank @@
+Normal rank