TY  - RPRT
TI  - Enumerating Lambda Terms by Weighted Length of Their De Bruijn Representation
AU  - Olivier Bodini
AU  - Bernhard Gittenberger
AU  - Zbigniew Gołębiewski
PY  - 2017
UR  - https://arxiv.org/abs/1707.02101
ID  - 1707.02101
ER  -