Emploi de méthodes constructives en programmation. Un dossier : la fonction d'AckermannJacques J. ArsacRAIRO. Inform. théor., 11 2 (1977) 91-112DOI: https://doi.org/10.1051/ita/1977110200911