@techreport{niggl:inria-00098738, TITLE = {{Characterising Polytime through higher type Recursion}}, AUTHOR = {Niggl, Karl-Heinz}, URL = {https://inria.hal.science/inria-00098738}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {98-R-239 || niggl98a}, PAGES = {17 p}, YEAR = {1998}, KEYWORDS = {Goedel's T ; higher type recursion ; Recursion d'ordre superieur ; Fonctions calculable en temps polynomial ; Polynomial time computable functions}, PDF = {https://inria.hal.science/inria-00098738/file/98-R-239.pdf}, HAL_ID = {inria-00098738}, HAL_VERSION = {v1}, }