| λ-演算的一种扩充 |
| |
| 引用本文： | 田长安.λ-演算的一种扩充[J].河南师范大学学报(自然科学版),1998,26(3):12-15. |
| |
| 作者姓名： | 田长安 |
| |
| 作者单位： | 河南师范大学数学系 |
| |
| 摘 要： | 对任一固定的集合ＡＮ（Ｎ表示自然数集），本文定义了λ－演算的一种扩充λＡ－演算．证明了λＡ－演算具有Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质，从而是协调的．并证明了λＡ－可定义全函数与Ａ－递归函数是等价的．
|
| 关 键 词： | λA－演算 Church－Rosser性质 λA－可定义函数 |
An Extension of Lambda Calculus |
| |
| Tian Chang''''an Zhang Xianyong et al.An Extension of Lambda Calculus[J].Journal of Henan Normal University(Natural Science),1998,26(3):12-15. |
| |
| Authors: | Tian Chang'an Zhang Xianyong |
| |
| Abstract: | For any fixed set AN(N is the set of natural numbers),we define λA calculus which is an extension of λβ calculus .First,we show that λA calculus has Church Rosserproperty(so it is consistent).Then we prove that the notion of A recursive functions and that of λA definable functions coincide. |
| |
| Keywords: | λA calculus Church Rosser property λA definable function |
| 本文献已被 CNKI 维普 等数据库收录！ |
