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.
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00578527
Contributeur : Pierre Lescanne
<>
Soumis le : vendredi 5 octobre 2012 - 12:05:33
Dernière modification le : mardi 24 avril 2018 - 13:52:57
Document(s) archivé(s) le : dimanche 6 janvier 2013 - 03:51:00