On counting untyped lambda terms - ENS de Lyon - École normale supérieure de Lyon
Preprints, Working Papers, ... Year : 2011

On counting untyped lambda terms

Abstract

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.
Fichier principal
Vignette du fichier
Lescanne_counting_lambda_terms.pdf (136.87 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

ensl-00578527 , version 1 (21-03-2011)
ensl-00578527 , version 2 (22-03-2011)
ensl-00578527 , version 3 (27-06-2011)
ensl-00578527 , version 4 (07-07-2011)
ensl-00578527 , version 5 (08-08-2011)
ensl-00578527 , version 6 (30-09-2011)
ensl-00578527 , version 7 (20-10-2011)
ensl-00578527 , version 8 (16-02-2012)
ensl-00578527 , version 9 (05-10-2012)

Identifiers

  • HAL Id : ensl-00578527 , version 2

Cite

Pierre Lescanne. On counting untyped lambda terms. 2011. ⟨ensl-00578527v2⟩

Collections

LIP_PLUME
349 View
615 Download

Share

More