Higher type recursion, ramification and polynomial time
Higher type recursion, ramification and polynomial time
复制标题
更高类型的递归、分支和多项式时间
DOI：
10.1016/s0168-0072(00)00006-3
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
H. Schwichtenberg
中科院分区：
文献类型：
--
作者：
S. Bellantoni;Karl;H. Schwichtenberg
它显示了如何限制递归符号在所有有限类型，以表征多项式时间可计算的功能。限制是通过使用一个分支类型结构，并通过添加线性概念的lambda演算。
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial-time computable functions. The restrictions are obtained by using a ramified type structure, and by adding linear concepts to the lambda calculus.