Probabilities, distribution monads, and convex categories (Q549198): Difference between revisions

@@ 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.tcs.2011.04.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2103417273
@@ Property / OpenAlex ID: W2103417273 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical quantum mechanics
@@ Property / cites work: Categorical quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735051
@@ Property / cites work: Q3735051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of probabilistic system types
@@ Property / cites work: A hierarchy of probabilistic system types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762622
@@ Property / cites work: Q2762622 / rank @@
+Normal rank
@@ Property / cites work @@
+Effect algebras and unsharp quantum logics.
@@ Property / cites work: Effect algebras and unsharp quantum logics. / rank @@
+Normal rank
@@ Property / cites work @@
+The transition to unigroups
@@ Property / cites work: The transition to unigroups / rank @@
+Normal rank
@@ Property / cites work @@
+An embedding theorem for Hilbert categories
@@ Property / cites work: An embedding theorem for Hilbert categories / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic in dagger kernel categories
@@ Property / cites work: Quantum logic in dagger kernel categories / 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 @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Convexity, Duality and Effects
@@ Property / cites work: Convexity, Duality and Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Coreflections in algebraic quantum logic
@@ Property / cites work: Coreflections in algebraic quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact 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 @@
+Q3950708
@@ Property / cites work: Q3950708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4675502
@@ Property / cites work: Q4675502 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of †-categories and the complex numbers
+Normal rank