λ－可定义函数的构造性解

摘要

λ－可定义函数的构造性解朱一清（东南大学计算机科学与工程系，南京２１００１８）根据Ｋｌｅｅｎｅ定理，凡λ－可定义的数论函数均是递归函数，反之亦然．因此，常借助于递归函数和递归定义来描述一个λ－可定义函数．一个λ－可定义的函数是λ－项所组成的集合中的一...