Media type: E-Article Title: Higher type recursion, ramification and polynomial time Contributor: Bellantoni, Stephen J.; Niggl, Karl-Heinz; Schwichtenberg, Helmut imprint: Elsevier BV, 2000 Published in: Annals of Pure and Applied Logic Language: English DOI: 10.1016/s0168-0072(00)00006-3 ISSN: 0168-0072 Keywords: Logic Origination: Footnote: Access State: Open Access