(Towards a) Statistical Probabilistic Lazy Lambda Calculus
<|reference_start|>(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.<|reference_end|>
@article{jagadeesan2024(towards,
    title={(Towards a) Statistical Probabilistic Lazy Lambda Calculus},
    author={Radha Jagadeesan},
    journal={In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson
  Abramsky on Logic and Structure in Computer Science and Beyond. Springer
  Verlag. pp. 1073-1094 (2023)},
    year={2024},
    doi={10.1007/978-3-031-24117-8_28},
    archivePrefix={arXiv},
    eprint={2403.15570},
    primaryClass={cs.LO}
}