|
|||||
|
|
| YCΩ2n是易项 | |
| 引用本文： | (赵希顺,(王驹.YCΩ2n是易项[J].科学通报,1998,43(12):1267-1269. |
| 作者姓名： | (赵希顺 (王驹 |
| 作者单位： | [1]南京大学数学系 [2]中国科学院软件研究所 |
| 基金项目： | 国家自然科学基金!(批准号 :197710 4 5，6 95730 37) |
| 摘 要： | 证明了如下结果：对任意的ｎ≥１，ＹｃΩ２ｎ是易项，即对任λ项Ｍ，λβ＋ＹｃΩ２ｎ＝Ｍ是协调的。其中Ｙｃ是Ｃｕｒｒｙ不动点组合子，Ω２ｎ＝ω２ｎω２ｎ，ω２ｎ＝λｘ．ｘｘ…ｘ（λｘ之后ｘ有２ｎ次出现）。从而，部分证明了Ｊａｃｏｐｉｎｉ提出的如下问题：对任意的ｎ≥２，ＹｃΩｎ是易项。 |
| 关 键 词： | λβ演算 Kuper定理 易项 不动点 |
| 收稿时间： | 1997-01-29 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |