@misc{indiciaeb4966155ee3d, title = {Combinatorics of \$λ\$-terms: a natural approach}, author = {Maciej Bendkowski and Katarzyna Grygiel and Pierre Lescanne and Marek Zaionc}, year = {2016}, url = {https://arxiv.org/abs/1609.07593}, note = {Source identifier: 1609.07593} }