TY  - RPRT
TI  - A natural counting of lambda terms
AU  - Maciej Bendkowski
AU  - Katarzyna Grygiel
AU  - Pierre Lescanne
AU  - Marek Zaionc
PY  - 2016
UR  - https://arxiv.org/abs/1506.02367
ID  - 1506.02367
ER  -