|
|||||
|
|
| 组合逻辑中的抽象运算Ⅱ | |
| 引用本文： | 沈百英,叶瑞芬.组合逻辑中的抽象运算Ⅱ[J].华东理工大学学报(自然科学版),1994,20(1):58-64. |
| 作者姓名： | 沈百英 叶瑞芬 |
| 作者单位： | 华东理工大学计算机系 |
| 摘 要： | 本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ζｃ）的角色，再研究相应的问题。 |
| 关 键 词： | λ－演算 组合逻辑 抽象运算 |
On the ion Operation in Combinatory Logic(II) |
|
| Shen Baiying and Ye Ruifen.On the ion Operation in Combinatory Logic(II)[J].Journal of East China University of Science and Technology,1994,20(1):58-64. | |
| Authors: | Shen Baiying and Ye Ruifen |
| Abstract: | |
| Keywords: | lambda calculus combinatory logic the rule of weak extensionality abstraction operation mathematical logic |
| 本文献已被 CNKI 维普 等数据库收录！ | |