组合逻辑中的抽象运算Ⅱ

沈百英, 叶瑞芬. 组合逻辑中的抽象运算Ⅱ[J]. 华东理工大学学报（自然科学版）, 1994, (1): 58-64.

引用本文:

沈百英, 叶瑞芬. 组合逻辑中的抽象运算Ⅱ[J]. 华东理工大学学报（自然科学版）, 1994, (1): 58-64.

On the ion Operation in Combinatory Logic(II)[J]. Journal of East China University of Science and Technology, 1994, (1): 58-64.

Citation:

On the ion Operation in Combinatory Logic(II)[J]. Journal of East China University of Science and Technology, 1994, (1): 58-64.

On the ion Operation in Combinatory Logic(II)

摘要: 本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ζｃ）的角色，再研究相应的问题。

用微信扫码二维码

分享至好友和朋友圈