%I#35 2019年11月16日20:08:20

%S 0,0,1,1,3,6,17,41116313895255074502188165168195370591007，

%电话：17987185510023169665295250568371632009045093237321595311747，

%电话：501374625415805787496499699421381583960653505331749557316029737853511601058791016360492172347

%自然大小闭λ项的个数。

%C自然大小度量lambda项如下：所有符号都被指定为大小1，即应用程序、抽象、de Bruijn索引中的后继符号和de Bruij索引中的0符号（即de Bruiijn索引n被指定为尺寸n+1）。

%这里我们计算自然大小n的闭项，其中“closed”表示没有自由索引（没有自由绑定变量）。

%H Pierre Lescanne，n的表格，a（n）表示n=0..299</a>

%H Maciej Bendkowski、Katarzyna Grygiel、Pierre Lescanne、Marek Zaionc，<a href=“http://www.sofsem.cz/sofsem16/files/presentations/Regular/Bendkowski.pdf“>Lambda术语的自然计数，SOFSEM 2016:183-194。

%H Maciej Bendkowski，K Grygiel，P Tarau，<a href=“http://arxiv.org/abs/1612.07682“>封闭简单类型lambda-terms的随机生成：逻辑编程和Boltzmann采样器之间的协同作用，arXiv预打印arXiv:1612.07682[cs.LO]，2016-2017。

%F L（0，m）=0。

%F L（n+1，m）=（和{k=0..n}L（k，m）*L（n-k，m。

%t L[0，_]=0；L[n_，m_]：=L[n，m]=和[L[k，m]*L[n-k-1，m]，{k，0，n-1}]+L[n-1，m+1]+Boole[m>=n]；

%t a[n_]：=L[n，0]；

%t表[a[n]，{n，0，31}]（*Jean-François Alcover_，2017年5月23日*）

%Y参见A105633，A272794。

%K nonn公司

%0、5

%A _Pierre Lescanne_，2016年7月14日