@misc{indiciaec7243a63080a, title = {Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels}, author = {Bernhard Gittenberger and Isabella Larcher}, year = {2019}, url = {https://arxiv.org/abs/1903.05243}, note = {Source identifier: 1903.05243} }