TY  - RPRT
TI  - Statistical properties of lambda terms
AU  - Maciej Bendkowski
AU  - Olivier Bodini
AU  - Sergey Dovgal
PY  - 2018
UR  - https://arxiv.org/abs/1805.09419
ID  - 1805.09419
ER  -