On counting untyped lambda terms - ENS de Lyon - École normale supérieure de Lyon
Article Dans Une Revue Theoretical Computer Science Année : 2013

On counting untyped lambda terms

Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
CV

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.

Domaines

Algorithme et structure de données [cs.DS] Logique en informatique [cs.LO] Mathématique discrète [cs.DM] Combinatoire [math.CO]
Fichier principal
Vignette du fichier
Lescanne_counting_lambda_terms.pdf (220.58 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Pierre Lescanne  : Connectez-vous pour contacter le contributeur

https://ens-lyon.hal.science/ensl-00578527

Soumis le : vendredi 5 octobre 2012-12:05:33

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : dimanche 6 janvier 2013-03:51:00

Télécharger pour visualiser

Dates et versions

ensl-00578527 , version 1 (21-03-2011)
ensl-00578527 , version 2 (22-03-2011)
ensl-00578527 , version 3 (27-06-2011)
ensl-00578527 , version 4 (07-07-2011)
ensl-00578527 , version 5 (08-08-2011)
ensl-00578527 , version 6 (30-09-2011)
ensl-00578527 , version 7 (20-10-2011)
ensl-00578527 , version 8 (16-02-2012)
ensl-00578527 , version 9 (05-10-2012)

Identifiants

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 TDS-MACS UDL
369 Consultations
628 Téléchargements

Altmetric

Partager

More