Coalgebraic update lenses (Q283736): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2014.10.003
@@ Property / DOI: 10.1016/j.entcs.2014.10.003 / rank @@
-Normal rank
@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+When is a container a comonad?
@@ Property / cites work: When is a container a comonad? / rank @@
+Normal rank
@@ Property / cites work @@
+Update Monads: Cointerpreting Directed Containers
@@ Property / cites work: Update Monads: Cointerpreting Directed Containers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint functors and triples
@@ Property / cites work: Adjoint functors and triples / rank @@
+Normal rank
@@ Property / cites work @@
+Quotient lenses
@@ Property / cites work: Quotient lenses / rank @@
+Normal rank
@@ Property / cites work @@
+Edit lenses
@@ Property / cites work: Edit lenses / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric lenses
@@ Property / cites work: Symmetric lenses / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4929408
@@ Property / cites work: Q4929408 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
+Normal rank
@@ Property / cites work @@
+Q2847820
@@ Property / cites work: Q2847820 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining a monad and a comonad
@@ Property / cites work: Combining a monad and a comonad / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317853
@@ Property / Wikidata QID: Q113317853 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2014.10.003
@@ Property / DOI: 10.1016/J.ENTCS.2014.10.003 / rank @@
+Normal rank