The expectation monad in quantum foundations (Q320204): Difference between revisions

@@ Property / cites work @@
+Categorical quantum mechanics
@@ Property / cites work: Categorical quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5611281
@@ Property / cites work: Q5611281 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of randomized algorithms in Coq
@@ Property / cites work: Proofs of randomized algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Physics, Topology, Logic and Computation: A Rosetta Stone
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999065
@@ Property / cites work: Q3999065 / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary proof of Gleason's theorem
@@ Property / cites work: An elementary proof of Gleason's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum weakest preconditions
@@ Property / cites work: Quantum weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762622
@@ Property / cites work: Q2762622 / rank @@
+Normal rank
@@ Property / cites work @@
+From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
+Normal rank
@@ Property / cites work @@
+From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245484
@@ Property / cites work: Q3245484 / rank @@
+Normal rank
@@ Property / cites work @@
+Morphisms, tensor products and \(\sigma\)-effect algebras
+Normal rank
@@ Property / cites work @@
+Convexity, Duality and Effects
@@ Property / cites work: Convexity, Duality and Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities, distribution monads, and convex categories
+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 @@
+Dijkstra Monads in Monadic Computation
@@ Property / cites work: Dijkstra Monads in Monadic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
+Normal rank
@@ Property / cites work @@
+Coreflections in algebraic quantum logic
@@ Property / cites work: Coreflections in algebraic quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+A representation theory for commutative topological algebra
+Normal rank
@@ Property / cites work @@
+Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
+Normal rank
@@ Property / cites work @@
+Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579534
@@ Property / cites work: Q5579534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4675502
@@ Property / cites work: Q4675502 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+Q5179962
@@ Property / cites work: Q5179962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4402856
@@ Property / cites work: Q4402856 / rank @@
+Normal rank