partial recursive function部分: part; section; portion递归: recurrence; recursion函数: function克林部分递归函数: kleen partial recursive functionsΛ-递归函数: lambda calculus下载手机词典可随时随地查词查翻译
