摘要：在某种具有所有类型中的迭代的仿射线性类型λ计算中，给出了一个句法证明，证明了所有可定义函数都是多项式时间可计算的。该证明提供了可以轻松计算的显式多项式界限。
作者：Klaus Aehlig, Helmut Schwichtenberg
论文ID：cs/0011037
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中