## Computable de Finetti measures (2009)

by
Cameron E. Freer
,
Daniel M. Roy

Citations: | 4 - 1 self |

### BibTeX

@MISC{Freer09computablede,

author = {Cameron E. Freer and Daniel M. Roy},

title = {Computable de Finetti measures},

year = {2009}

}

### OpenURL

### Abstract

We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. As a consequence, exchangeable stochastic processes in probabilistic functional programming languages can be automatically rewritten as procedures that do not modify non-local state. Along the way, we prove that a distribution on the unit interval is computable if and only if its moments are uniformly computable.