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 show various (syntactic and behavioral) properties of random lambda-terms. Our main results are that at least 3/4 of 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 different. We show that almost all terms are not strongly normalizing, because any fixed term almost always appears in a random term.
Fichier principal
Vignette du fichier
counting.pdf (226.8 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-00372035v1⟩
280 Consultations
317 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More