Monads for behaviour (Q265824): Difference between revisions

@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+On Rational Monads and Free Iterative Theories
@@ Property / cites work: On Rational Monads and Free Iterative Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Elgot Algebras
@@ Property / cites work: Elgot Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Fibrational Induction Meets Effects
@@ Property / cites work: Fibrational Induction Meets Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical fixed point calculus
@@ Property / cites work: Categorical fixed point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+General Recursion via Coinductive Types
@@ Property / cites work: General Recursion via Coinductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive reasoning about effectful data types
@@ Property / cites work: Inductive reasoning about effectful data types / rank @@
+Normal rank
@@ Property / cites work @@
+Coproducts of Ideal Monads
@@ Property / cites work: Coproducts of Ideal Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / 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 @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting theorems for Kleisli categories
@@ Property / cites work: Lifting theorems for Kleisli categories / rank @@
+Normal rank
@@ Property / cites work @@
+Trace-Based Coinductive Operational Semantics for While
+Normal rank
@@ Property / cites work @@
+Q4023828
@@ Property / cites work: Q4023828 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Coinduction and Weak Bisimilarity for While Programs
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank