Iterated covariant powerset is not a monad (Q2134821): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2018.11.013
@@ Property / DOI: 10.1016/j.entcs.2018.11.013 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / 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.2018.11.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2905459795
@@ Property / OpenAlex ID: W2905459795 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317483
@@ Property / Wikidata QID: Q113317483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognisable Languages over Monads
@@ Property / cites work: Recognisable Languages over Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Bialgebraic Semantics for Logic Programming
@@ Property / cites work: Bialgebraic Semantics for Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical coalgebraic linear time logics
@@ Property / cites work: Canonical coalgebraic linear time logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Types and coalgebraic structure
@@ Property / cites work: Types and coalgebraic structure / rank @@
+Normal rank
@@ Property / cites work @@
+Neighbourhood Structures: Bisimilarity and Basic Model Theory
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847813
@@ Property / cites work: Q2847813 / rank @@
+Normal rank
@@ Property / cites work @@
+Steps and traces
@@ Property / cites work: Steps and traces / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics via determinization
@@ Property / cites work: Trace semantics via determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics via Forgetful Logics
@@ Property / cites work: Coalgebraic Trace Semantics via Forgetful Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic trace semantics via forgetful logics
@@ Property / cites work: Coalgebraic trace semantics via forgetful logics / rank @@
+Normal rank
@@ Property / cites work @@
+Simplified Coalgebraic Trace Equivalence
@@ Property / cites work: Simplified Coalgebraic Trace Equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Taut monads and \(T0\)-spaces.
@@ Property / cites work: Taut monads and \(T0\)-spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4668854
@@ Property / cites work: Q4668854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3432078
@@ Property / cites work: Q3432078 / rank @@
+Normal rank
@@ Property / cites work @@
+Monad compositions II: Kleisli strength
@@ Property / cites work: Monad compositions II: Kleisli strength / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing collection classes with monads
@@ Property / cites work: Implementing collection classes with monads / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Iterativity for Algebras with Effects
@@ Property / cites work: Complete Iterativity for Algebras with Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499221
@@ Property / cites work: Q4499221 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing determinization from automata to coalgebras
+Normal rank
@@ Property / cites work @@
+Monads of regular theories
@@ Property / cites work: Monads of regular theories / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional dynamic logic for instantial neighborhood models
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2018.11.013
@@ Property / DOI: 10.1016/J.ENTCS.2018.11.013 / rank @@
+Normal rank