A domain-theoretic framework for conditional probability and Bayesian updating in programming

Pietro Di Gianantonio, Abbas Edalat

We present a domain-theoretic framework for probabilistic programming that provides a constructive definition of conditional probability and addresses computability challenges prev…