TY  - RPRT
TI  - Probabilistic Programming Semantics for Name Generation
AU  - Marcin Sabok
AU  - Sam Staton
AU  - Dario Stein
AU  - Michael Wolman
PY  - 2020
UR  - https://arxiv.org/abs/2007.08638
ID  - 2007.08638
ER  -