Computable exchangeable sequences have computable de Finetti measures (pdf)(doi) (bibtex)
C. E. Freer, D. M. Roy: Computability in Europe (CiE) #de finetti, #exchangeability, #computable probability theory, #probabilistic programming, #mutation
@article{C.E.Freer:2009:e8caa,
author = {C. E. Freer and D. M. Roy},
journal = {Computability in Europe (CiE)},
title = {Computable exchangeable sequences have computable de Finetti measures},
year = {2009},
keywords = {de finetti, exchangeability, computable probability theory, probabilistic programming, mutation},
doi = {10.1007/978-3-642-03073-4_23},
url = {http://danroy.org/papers/FreerRoy-CIE-2009.pdf}
}