(Towards a) Statistical Probabilistic Lazy Lambda Calculus

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.