Higher type recursion, ramification and polynomial time

被引：37
|
作者：
Bellantoni, SJ
Niggl, KH
Schwichtenberg, H
机构：
[1] Tech Univ Ilmenau, Fachgebiet Komplexitatstheorie, Inst Theoret & Tech Informat, D-98684 Ilmenau, Germany
[2] Univ Munich, Math Inst, D-80333 Munich, Germany
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2000年 / 104卷 / 1-3期
关键词：
higher type recursion; Lambda calculus; normalisation; ramified recursion; polynomial time;
D O I：
10.1016/S0168-0072(00)00006-3
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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. (C) 2000 Elsevier Science B.V. All rights reserved. MSC. 03D15; 03D20; 68Q15; 68Q42; 68N15; 03F03; 03F10; 03F35.
引用
收藏
页码：17 / 30
页数：14
相关论文
共 50 条
  • [1] Recursion Relations for Double Ramification Hierarchies
    Alexandr Buryak
    Paolo Rossi
    Communications in Mathematical Physics, 2016, 342 : 533 - 568
  • [2] A Generalized Topological Recursion for Arbitrary Ramification
    Vincent Bouchard
    Joel Hutchinson
    Prachi Loliencar
    Michael Meiers
    Matthew Rupert
    Annales Henri Poincaré, 2014, 15 : 143 - 169
  • [3] A Generalized Topological Recursion for Arbitrary Ramification
    Bouchard, Vincent
    Hutchinson, Joel
    Loliencar, Prachi
    Meiers, Michael
    Rupert, Matthew
    ANNALES HENRI POINCARE, 2014, 15 (01): : 143 - 169
  • [4] Recursion Relations for Double Ramification Hierarchies
    Buryak, Alexandr
    Rossi, Paolo
    COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2016, 342 (02) : 533 - 568
  • [5] A MODEL FOR BAR RECURSION OF HIGHER TYPE
    SCARPELL.BJ
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (04): : 675 - &
  • [6] Higher Type Recursion for Transfinite Machine Theory
    Welch, Philip
    COMPUTING WITH FORESIGHT AND INDUSTRY, CIE 2019, 2019, 11558 : 72 - 83
  • [7] On ramification values of a polynomial mapping
    Jelonek, Z
    MANUSCRIPTA MATHEMATICA, 2002, 109 (02) : 147 - 149
  • [8] On ramification values of a polynomial mapping
    Zbigniew Jelonek
    manuscripta mathematica, 2002, 109 : 147 - 149
  • [9] HIGHER RAMIFICATION GROUPS
    LAUBIE, F
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1978, 286 (17): : 721 - 722
  • [10] HIGHER DIFFERENTIALS AND RAMIFICATION
    BERGER, RW
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 504 - &
12345