QPEL

MaRDI QIDQ54936swMATHFDO

Official website https://arxiv.org/abs/1412.8543

Cited in

(2)

• A type theory for probabilistic and Bayesian reasoning
• Affine Monads and Side-Effect-Freeness

This page was built for software: QPEL