Q5111235 (Q5111235): Difference between revisions

@@ Property / cites work @@
+An effect-theoretic account of Lebesgue integration
+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 @@
+A predicate/state transformer semantics for Bayesian learning
+Normal rank
@@ Property / cites work @@
+Q2734566
@@ Property / cites work: Q2734566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3260839
@@ Property / cites work: Q3260839 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Algebraic Reasoning
@@ Property / cites work: Quantitative Algebraic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
+Normal rank
@@ Property / cites work @@
+Quantum Computer Science
@@ Property / cites work: Quantum Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997653
@@ Property / cites work: Q3997653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651576
@@ Property / cites work: Q3651576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for probabilistic programming
@@ Property / cites work: Semantics for probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Transport
@@ Property / cites work: Optimal Transport / rank @@
+Normal rank