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.

中文翻译：

---

（迈向a）统计概率惰性Lambda演算

我们研究统计概率编程语言模型的需求。我们认为，可以通过传统工具的组合来满足这些要求，即开放互模拟和概率模拟。