On counting untyped lambda terms

Pierre Lescanne (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme

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.

Keywords: Lambda calculus complexity enumeration expected complexity

Domains: Computer Science [cs]; Data Structures and Algorithms [cs.DS]; Computer Science [cs]; Logic in Computer Science [cs.LO]

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