@article{leivant:inria-00099077, TITLE = {{Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space}}, AUTHOR = {Leivant, Daniel and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00099077}, NOTE = {to appear. Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Information and Computation}}, HAL_LOCAL_REFERENCE = {A00-R-055 || leivant00b}, PUBLISHER = {{Elsevier}}, PAGES = {12 p}, YEAR = {2000}, KEYWORDS = {Predicative recurrence ; Complexit{\'e} algorithmique ; Computational complexity ; Recurrence pr{\'e}dicative}, HAL_ID = {inria-00099077}, HAL_VERSION = {v1}, }