A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
Electronic notes in theorical informatics and computer science