Affine Monads and Side-Effect-Freeness (Q5739449): Difference between revisions

@@ Property / cites work @@
+Q3614500
@@ Property / cites work: Q3614500 / rank @@
+Normal rank
@@ Property / cites work @@
+An effect-theoretic account of Lebesgue integration
+Normal rank
@@ Property / cites work @@
+Categories of quantum and classical channels
@@ Property / cites work: Categories of quantum and classical channels / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable Spaces and Their Effect Logic
@@ Property / cites work: Measurable Spaces and Their Effect Logic / rank @@
+Normal rank
@@ Property / cites work @@
+New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
+Normal rank
@@ Property / cites work @@
+From probability monads to commutative effectuses
@@ Property / cites work: From probability monads to commutative effectuses / rank @@
+Normal rank
@@ Property / cites work @@
+The expectation monad in quantum foundations
@@ Property / cites work: The expectation monad in quantum foundations / rank @@
+Normal rank
@@ Property / cites work @@
+States of Convex Sets
@@ Property / cites work: States of Convex Sets / rank @@
+Normal rank
@@ Property / cites work @@
+A predicate/state transformer semantics for Bayesian learning
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Weighted Transition Systems
+Normal rank
@@ Property / cites work @@
+Monads on symmetric monoidal closed categories
@@ Property / cites work: Monads on symmetric monoidal closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Bilinearity and Cartesian Closed Monads.
@@ Property / cites work: Bilinearity and Cartesian Closed Monads. / rank @@
+Normal rank
@@ Property / cites work @@
+Affine parts of monads
@@ Property / cites work: Affine parts of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5574731
@@ Property / cites work: Q5574731 / rank @@
+Normal rank