Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Enumeration of generalized $BCI$ lambda-terms   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 combinatory logic. By deriving a differential equation for the
generating function of the counting sequence we obtain a recurrence relation
which can be solved asymptotically. We derive differential equations for the
generating functions of the counting sequences of other more general classes of
terms as well: the class of $BCK(p)$-terms and that of closed lambda-terms.
Using elementary arguments we obtain upper and lowerestimates for the number of
closed lambda-terms of size $n$. Moreover, a recurrence relation is derived
which allows an efficient computation of the counting sequence. $BCK(p)$-terms
are discussed briefly.

16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
1
The categories of this paper are: cs
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph