(Towards a) Statistical Probabilistic Lazy Lambda Calculus
arXiv:2403.15570 · doi:10.1007/978-3-031-24117-8_28
Abstract
We study the desiderata on a model for statistical probabilistic programming languages. We argue that they can be met by a combination of traditional tools, namely open bisimulation and probabilistic simulation.