TY  - RPRT
TI  - A domain-theoretic framework for conditional probability and Bayesian updating in programming
AU  - Pietro Di Gianantonio
AU  - Abbas Edalat
PY  - 2025
UR  - https://arxiv.org/abs/2502.00949
ID  - 2502.00949
ER  -