Probabilistic programs, computability, and de Finetti measures

by Daniel M. Roy , Cameron E. Freer