scientific article; zbMATH DE number 7199585

MaRDI QIDQ5109515

Abraham Westerbaan, Bart Jacobs

Publication date: 12 May 2020

Full work available at URL: https://arxiv.org/abs/1711.09740

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items

Unnamed Item, Sequential product spaces are Jordan algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The expectation monad in quantum foundations
• Probabilities, distribution monads, and convex categories
• Metrics for labelled Markov processes
• Operator algebras with a faithful weakly-closed representation
• From probability monads to commutative effectuses
• Recursively defined metric spaces without contraction
• Postulates for the barycentric calculus
• Behavioral Metrics via Functor Lifting
• Pointless Learning
• Convexity, Duality and Effects
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
• Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
• Quantitative Algebraic Reasoning
• On Choosing and Bounding Probability Metrics
• A Formal Semantics of Influence in Bayesian Reasoning
• Disintegration and Bayesian inversion via string diagrams
• A representation theory for commutative topological algebra
• Order Properties of Bounded Self-Adjoint Operators
• Positive Functions on C ∗ -Algebras
• Approximating Markov Processes by Averaging
• Optimal Transport
• An effect-theoretic account of Lebesgue integration