TY  - RPRT
TI  - The Benefit of Being Non-Lazy in Probabilistic λ-calculus
AU  - Gianluca Curzi
AU  - Michele Pagani
PY  - 2020
UR  - https://arxiv.org/abs/2004.12891
ID  - 2004.12891
ER  -