@unpublished{grygiel:ensl-00740034, TITLE = {{Counting and generating lambda terms}}, AUTHOR = {Grygiel, Katarzyna and Lescanne, Pierre}, URL = {https://hal-ens-lyon.archives-ouvertes.fr/ensl-00740034}, PAGES = {34}, YEAR = {2012}, MONTH = Oct, KEYWORDS = {Lambda calculus ; combinatorics ; functional programming ; test ; random generator ; ranking ; unranking}, HAL_ID = {ensl-00740034}, HAL_VERSION = {v7}, }