TY  - RPRT
TI  - A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
AU  - Younesse Kaddar
AU  - Sam Staton
PY  - 2023
DO  - 10.46298/entics.12291
UR  - https://arxiv.org/abs/2309.09467
ID  - 2309.09467
ER  -