basic recursive function theory基本: basic; fundamental递归: recurrence; recursion函数: function理论: theoryΛ-递归函数: lambda calculus下载手机词典可随时随地查词查翻译