@techreport{bournez:inria-00101068, TITLE = {{Safe Recursion over an Arbitrary Structure: Deterministic Polynomial Time}}, AUTHOR = {Bournez, Olivier and de Naurois, Paulin and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00101068}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {A02-R-322 || bournez02d}, PAGES = {24 p}, YEAR = {2002}, KEYWORDS = {complexity ; implicit complexity ; complexit{\'e} implicite ; mod{\`e}le de blum shub et smale ; blum shub et smale model ; complexit{\'e}}, HAL_ID = {inria-00101068}, HAL_VERSION = {v1}, }