A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories.
(xsd:string)
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories.
(xsd:string)