Probabilistic Programming Semantics for Name Generation

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 $ν…