Monads for behaviour (Q265824): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2013.09.019
@@ Property / DOI: 10.1016/j.entcs.2013.09.019 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+pipes
@@ Property / describes a project that uses: pipes / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317953
@@ Property / Wikidata QID: Q113317953 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2013.09.019
+Normal rank
@@ Property / OpenAlex ID @@
+W1974390662
@@ Property / OpenAlex ID: W1974390662 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ENTCS.2013.09.019
@@ Property / DOI: 10.1016/J.ENTCS.2013.09.019 / rank @@
+Normal rank