@inproceedings{bournez:inria-00100884, TITLE = {{Safe Recursion and Calculus over an Arbitrary Structure}}, AUTHOR = {Bournez, Olivier and de Naurois, Paulin and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00100884}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{Implicit Computational Complexity - ICC'2002}}, ADDRESS = {Copenhagen, Denmark}, HAL_LOCAL_REFERENCE = {A02-R-321 || bournez02b}, PAGES = {12 p}, YEAR = {2002}, MONTH = Jul, 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-00100884}, HAL_VERSION = {v1}, }