TY  - RPRT
TI  - Lambda Calculus and Probabilistic Computation
AU  - Claudia Faggian
AU  - Simona Ronchi della Rocca
PY  - 2019
UR  - https://arxiv.org/abs/1901.02853
ID  - 1901.02853
ER  -