OEIS哀悼西蒙斯感谢西蒙斯基金会支持包括OEIS在内的许多科学分支的研究。

登录

OEIS由OEIS基金会的许多慷慨捐赠者.

 

提示 （来自的问候整数序列在线百科全书!) A268225型 术语大小n的lambda-terms的类型数。 0 1, 1, 5, 16, 55, 235, 1102, 5757, 33251 (列表;图表;参考;听;历史;文本;内部格式) 抵消 1,3 链接 n=1..9时的n，a（n）表。 P.Tarau，Lambda术语、组合词、类型和基于树的算术计算的逻辑编程游戏场，arXiv预印本arXiv：1507.06944[cs.LO]，2015年。 交叉参考 囊性纤维变性。A220471型. 上下文中的序列：A098912号 A299685型 A363449型*A120343号 A301280型 A153366号 相邻序列：A268222型 A268223型 A268224型*A268226型 268227元 A268228型 关键词 非n,更多 作者 N.J.A.斯隆2016年1月30日 状态 经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索引擎|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间：美国东部夏令时2024年6月9日09:30。包含373239个序列。（在oeis4上运行。）