Computable de Finetti measures

v1v2 (latest)

Computable de Finetti measures

6 December 2009

Cameron E. Freer

ArXiv (abs)PDF HTML

Papers citing "Computable de Finetti measures"

5 / 5 papers shown

Title
$ω$ PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs Mathieu Huot Alexander K. Lew Vikash K. Mansinghka S. Staton 45 7 0 21 Feb 2023
A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic Graphs Paul Jung Jiho Lee S. Staton Hongseok Yang 47 9 0 15 Dec 2018
A Convenient Category for Higher-Order Probability Theory C. Heunen Ohad Kammar S. Staton Hongseok Yang 101 161 0 10 Jan 2017
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints S. Staton Hongseok Yang C. Heunen Ohad Kammar Frank Wood 92 136 0 19 Jan 2016
On the computability of conditional probability N. Ackerman Cameron E. Freer Daniel M. Roy TPM 192 24 0 17 May 2010