Computable de Finetti measures
From MaRDI portal
Publication:764273
DOI10.1016/j.apal.2011.06.011zbMath1247.03098arXiv0912.1072OpenAlexW2144567031MaRDI QIDQ764273
Daniel M. Roy, Cameron E. Freer
Publication date: 13 March 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0912.1072
exchangeabilityfunctional programmingmutationde Finetti theoremcomputable probability theoryprobabilistic programming languages
Functional programming and lambda calculus (68N18) Exchangeability for stochastic processes (60G09) Computation over the reals, computable analysis (03D78)
Related Items (5)
An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages ⋮ Computable randomness and betting for computable probability spaces ⋮ A generalization of hierarchical exchangeability on trees to directed acyclic graphs ⋮ Probabilistic computability and choice ⋮ Computable Measure Theory and Algorithmic Randomness
Uses Software
Cites Work
- Representing probability measures using probabilistic processes
- On exchangeable random variables and the statistics of large graphs and hypergraphs
- Representations for partially exchangeable arrays of random variables
- LCF considered as a programming language
- Uses of exchangeability
- Induction and recursion on the partial real line with applications to Real PCF
- Computability on random variables
- Computability on the probability measures on the Borel sets of the unit interval
- Computability on subsets of metric spaces.
- Computability on continuous, lower semi-continuous and upper semi-continuous real functions
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
- A Convenient Category of Domains
- Symmetric Measures on Cartesian Products
- On stationary sequences of random variables and the de Finetti's equivalence
- Computable Exchangeable Sequences Have Computable de Finetti Measures
- Graph limits and exchangeable random graphs
- Recursively enumerable sets and degrees
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Stochastic lambda calculus and monads of probability distributions
- Computable metrization
- Admissible representations for probability measures
- Probabilistic Symmetries and Invariance Principles
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Computable de Finetti measures
