On counting untyped lambda terms
Logic in Computer Science
2012-02-17 v5 Discrete Mathematics
Abstract
We present several results on counting untyped lambda terms, i.e., on telling how many terms belong to such or such class, according to the size of the terms and/or to the number of free variables.
Keywords
Cite
@article{arxiv.1107.1327,
title = {On counting untyped lambda terms},
author = {Pierre Lescanne},
journal= {arXiv preprint arXiv:1107.1327},
year = {2012}
}