TY  - RPRT
TI  - On counting untyped lambda terms
AU  - Pierre Lescanne
PY  - 2012
UR  - https://arxiv.org/abs/1107.1327
ID  - 1107.1327
ER  -