12 citations · 27 across the 5 of their papers we have counts for
1 paper · 1 filter
Marcin Sabok, Sam Staton, Dario Stein +1
We make a formal analogy between random sampling and fresh name generation. We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret Stark's $ν…