非规模递增多项式时间计算的语法分析
计算机科学中的逻辑
2007-05-23 v2
摘要
给出一种语法证明，证明所有可在具有迭代的所有类型中的仿线性类型 lambda 演算中定义的函数都是多项式时间可计算的。该证明提供了可以轻松计算的显式多项式界限。
引用
@article{arxiv.cs/0011037,
title = {A syntactical analysis of non-size-increasing polynomial time computation},
author = {Klaus Aehlig and Helmut Schwichtenberg},
journal= {arXiv preprint arXiv:cs/0011037},
year = {2007}
}
备注
20 pages (latex), revised submission (expanded proofs, extended references, new section on tree iteration)