(Towards a) Statistical Probabilistic Lazy Lambda Calculus
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2024
- DOI:
- 10.48550/arXiv.2403.15570
- arXiv:
- arXiv:2403.15570
- Bibcode:
- 2024arXiv240315570J
- Keywords:
-
- Computer Science - Logic in Computer Science;
- D.3.1
- E-Print:
- In Alessandra Palmigiano &