Compositional semantics for probabilistic programs with exact conditioning
From MaRDI portal
Cited in
(8)- A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
- Graphical quadratic algebra
- A categorical treatment of open linear systems
- Universal properties of partial quantum maps
- The relational machine calculus
- Probabilistic programming with exact conditions
- Order in partial Markov categories
- Graphical quadratic algebra: a complete calculus for convex optimisation and Gaussian probability
This page was built for publication: Compositional semantics for probabilistic programs with exact conditioning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6651957)
