Some properties of random lambda terms - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2009

Some properties of random lambda terms

René David
  • Fonction : Auteur
  • PersonId : 859236
Christophe Raffalli
  • Fonction : Auteur
  • PersonId : 859237
Guillaume Theyssier

Résumé

We present quantitative analysis of various (syntactic and behavioral) properties of random lambda-terms. Our main results are that asymptotically all the terms are strongly normalizing and that any fixed closed term almost never appears in a random term. Surprisingly, in combinatory logic (the translation of the lambda-calculus into combinators) the result is exactly opposite. We show that almost all terms are not strongly normalizing. This due to the fact that any fixed combinator almost always appears in a random combinator.
Fichier principal
Vignette du fichier
ltcount.pdf (258.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00372035 , version 1 (31-03-2009)
hal-00372035 , version 2 (09-10-2009)
hal-00372035 , version 3 (27-09-2010)
hal-00372035 , version 4 (22-10-2012)

Identifiants

Citer

René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozic, et al.. Some properties of random lambda terms. 2009. ⟨hal-00372035v2⟩
280 Consultations
317 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More