On counting untyped lambda terms

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 : mercredi 29 juillet 2015 - 01:14:08
Document(s) archivé(s) le : dimanche 6 janvier 2013 - 03:51:00

Fichiers

Lescanne_counting_lambda_terms...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Pierre Lescanne. On counting untyped lambda terms. Theoretical Computer Science, Elsevier, 2013, 474, pp.80-97. <10.1016/j.tcs.2012.11.019>. <ensl-00578527v9>

Exporter

Partager

Métriques

Consultations de
la notice

136

Téléchargements du document

113