TY  - RPRT
TI  - Counting Terms in the Binary Lambda Calculus
AU  - Katarzyna Grygiel
AU  - Pierre Lescanne
PY  - 2014
UR  - https://arxiv.org/abs/1401.0379
ID  - 1401.0379
ER  -