A NATURAL COUNTING OF LAMBDA TERMS - ENS de Lyon - École normale supérieure de Lyon
Pré-Publication, Document De Travail Année : 2016

A NATURAL COUNTING OF LAMBDA TERMS

Résumé

We study the sequences of numbers corresponding to lambda terms of given sizes, where the size is this of lambda terms with de Bruijn indices in a very natural model where all the operators have size 1. For plain lambda terms, the sequence corresponds to two families of binary trees for which we exhibit bijections. We study also the distribution of normal forms, head normal forms and strongly normalizing terms. In particular we show that strongly normalizing terms are of density 0 among plain terms.
Fichier principal
Vignette du fichier
natural_counting.pdf (391.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

ensl-01159746 , version 1 (07-06-2015)
ensl-01159746 , version 2 (02-07-2015)
ensl-01159746 , version 3 (13-05-2016)

Identifiants

Citer

Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc. A NATURAL COUNTING OF LAMBDA TERMS. 2016. ⟨ensl-01159746v3⟩
403 Consultations
338 Téléchargements

Altmetric

Partager

More