Statistical properties of lambda terms - Maciej Bendkowski; Olivier Bodini; Sergey Dovgal (2018)