摘要：递归的引入不会增加在类型化的ληη-演算中可定义的总函数数量，也不会增加在λΩ-演算中可定义的部分函数数量。因此，递归的引入不会增加在自由代数上可定义的部分函数或总函数的类别，特别是在自然数上。
作者：Gordon Plotkin
论文ID：2206.08413
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-19
PDF 下载： 英文版 中文版pdf翻译中