TY  - RPRT
TI  - (Towards a) Statistical Probabilistic Lazy Lambda Calculus
AU  - Radha Jagadeesan
PY  - 2024
DO  - 10.1007/978-3-031-24117-8_28
UR  - https://arxiv.org/abs/2403.15570
ID  - 2403.15570
ER  -