A NATURAL COUNTING OF LAMBDA TERMS - ENS de Lyon - École normale supérieure de Lyon Access content directly
Preprints, Working Papers, ... Year :

A NATURAL COUNTING OF LAMBDA TERMS

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc. A NATURAL COUNTING OF LAMBDA TERMS. 2016. ⟨ensl-01159746v3⟩
379 View
302 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More