3 citations · 4 across the 10 of their papers we have counts for
1 paper · 2 filters
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…