Pages that link to "Item:Q5891171"
From MaRDI portal
The following pages link to Measure Transformer Semantics for Bayesian Machine Learning (Q5891171):
Displaying 6 items.
- From probability monads to commutative effectuses (Q1683710) (← links)
- A predicate/state transformer semantics for Bayesian learning (Q1744386) (← links)
- On the Hardness of Almost–Sure Termination (Q2946345) (← links)
- Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring (Q2988648) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528) (← links)
