@article{lescanne:ensl-00578527, TITLE = {{On counting untyped lambda terms}}, AUTHOR = {Lescanne, Pierre}, URL = {https://hal-ens-lyon.archives-ouvertes.fr/ensl-00578527}, JOURNAL = {{Theoretical Computer Science}}, PUBLISHER = {{Elsevier}}, VOLUME = {474}, PAGES = {80-97}, YEAR = {2013}, MONTH = Feb, DOI = {10.1016/j.tcs.2012.11.019}, KEYWORDS = {Lambda calculus complexity enumeration expected complexity ; Complexity ; Enumeration ; Expected complexity}, HAL_ID = {ensl-00578527}, HAL_VERSION = {v9}, }