λ演算中的第二不动点定理* |
| |
引用本文: | 宋方敏.λ演算中的第二不动点定理*[J].软件学报,1996,7(Z1):381-384. |
| |
作者姓名: | 宋方敏 |
| |
作者单位: | 南京大学计算机科学系南京210093 |
| |
摘 要: | 作者研究λ演算中的第二不动点的性质.首先讨论关于第二不动点的3个命题之间的关系且证明了它们.然后为第二不动点组合子给以一个充分条件且作出一系列的第二不动点组合子.作者还提出和证明了多元第二不动点定理.
|
关 键 词: | λ演算,第二不动点. |
收稿时间: | 1995/10/5 0:00:00 |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|