λ演算中的第二不动点定理  

作　　者：宋方敏 

出　　处：《软件学报》1996年第A00期381-384,共4页Journal of Software

摘　　要：作者研究λ演算中第二不动点的性质，首先关于第二不动点的３个例题之间的关系且证明了这们，然后为第二不动点组合子给以一个充分条件且作一系列的第二不动点组子，作者还提出和证明了多元第二不点宣。

关 键 词：Λ演算 第二不动点定理 命题演算 

分 类 号：O141.1[理学—数学]