|
| |
|
| A294450型 |
| 自然大小n的简单可定型lambda项的个数。 |
|
0
|
|
|
|
0, 1, 2, 3, 8, 17, 42, 106, 287, 747, 2069, 5732, 16012, 45283, 129232, 370761, 1069972
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0,3
|
|
|
链接
|
马西耶·本德考斯基（Maciej Bendkowski）、卡塔兹娜·格里吉尔（Katarzyna Grygiel）、皮埃尔·莱斯卡内（Pierre Lescanne）、马雷克·扎昂克（Marek Zaionc）、，Lambda术语的自然计数，arXiv:1506.02367[cs.LO]，2015年。
马西耶·本德考斯基（Maciej Bendkowski）、卡塔兹娜·格里吉尔（Katarzyna Grygiel）、皮埃尔·莱斯卡内（Pierre Lescanne）、马雷克·扎昂克（Marek Zaionc）、，Lambda项的自然计数，SOFSEM 2016:183-194。
|
|
|
交叉参考
|
|
|
|
关键词
|
非n,更多
|
|
|
作者
|
|
|
|
状态
|
已批准
|
| |
|
|
