Enumeration of generalized $BCI$ lambda-terms

Olivier Bodini, Danièle Gardy, Bernhard Gittenberger +1

We investigate the asymptotic number of elements of size $n$ in a particular class of closed lambda-terms (so-called $BCI(p)$-terms) which are related to axiom systems of combinato…