Combinatorics of $\lambda$-terms: a natural approach

Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne +1

We consider combinatorial aspects of $\lambda$-terms in the model based on de Bruijn indices where each building constructor is of size one. Surprisingly, the counting sequence for $\lambda$-t…