ensl-00578527, version 9
On counting untyped lambda terms
Theoretical Computer Science 474 (2013) 80-97
Résumé : 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.
- 1 : Laboratoire de l'Informatique du Parallélisme (LIP)
- Université de Lyon – CNRS : UMR5668 – INRIA – École Normale Supérieure - Lyon – Université Claude Bernard - Lyon I
- Domaine : Informatique/Algorithme et structure de données
Informatique/Logique en informatique - Mots-clés : Lambda calculus complexity enumeration expected complexity
- Versions disponibles : v1 (21-03-2011) v2 (22-03-2011) v3 (28-06-2011) v4 (07-07-2011) v5 (08-08-2011) v6 (30-09-2011) v7 (20-10-2011) v8 (16-02-2012) v9 (05-10-2012)
- ensl-00578527, version 9
- http://hal-ens-lyon.archives-ouvertes.fr/ensl-00578527
- oai:hal-ens-lyon.archives-ouvertes.fr:ensl-00578527
- Contributeur : Pierre Lescanne
- Soumis le : Vendredi 5 Octobre 2012, 12:05:33
- Dernière modification le : Jeudi 14 Mars 2013, 11:23:08
Documents associés
Exporter