La fonction d'Ackermann : un nouveau mode de dérécursivation Jacques Arsac RAIRO-Theor. Inf. Appl., 20 2 (1986) 149-156 Published online: 01 February 2017 DOI: 10.1051/ita/1986200201491