s'authentifier
version française rss feed
Fiche détaillée  Récupérer au format
Theoretical Computer Science, 474 (2013) 80-97
Versions disponibles :
ensl-00578527, version 9
Informatique/Algorithme et structure de données
Informatique/Logique en informatique
On counting untyped lambda terms
Pierre Lescanne1
1 :  LIP - Laboratoire de l'Informatique du Parallélisme
Plume
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.
Anglais
Lambda calculus complexity enumeration expected complexity
F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems
Liste des fichiers attachés à ce document : 
PDF
Lescanne_counting_lambda_terms.pdf(223.6 KB)
PS
Lescanne_counting_lambda_terms.ps(869.1 KB)