La fonction d'Ackermann : un nouveau mode de dérécursivationJacques ArsacRAIRO-Theor. Inf. Appl., 20 2 (1986) 149-156DOI: https://doi.org/10.1051/ita/1986200201491
