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

On counting untyped lambda terms

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.
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)
Loading...

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⟩
239 Consultations
550 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More