| 摘要: |
| 作者研究λ演算中的第二不动点的性质．首先讨论关于第二不动点的3个命题之间的关系且证明了它们．然后为第二不动点组合子给以一个充分条件且作出一系列的第二不动点组合子．作者还提出和证明了多元第二不动点定理． |
| 关键词: λ演算，第二不动点． |
| DOI： |
| 分类号: |
| 基金项目: |
|
| THE SECOND FIXED—PoINT THEoREMS IN λ—CALCULUS |
|
Song Fangmin
|
| Abstract: |
| The properties of the secondary fixed—points inλ—calculus are discussed in this paper．The author first shows the relationship among three propositions for the sec-ondary fixed—points and proves these propositions，and then formulates a sufficient condi-tion for the so—called secondary fixed—point combinators and gives a series of such corn-binators．At last．the author establishes the second fixed—point theorem in the n—ary version． |
| Key words: λ—calculus,the second fixed—point． |
