%0 Journal Article %A Berry, G. %T Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1977 %P 113-126 %V 11 %N 2 %I Centrale des revues, Dunod-Gauthier-Villars %C Montreuil %U http://geodesic.mathdoc.fr/item/ITA_1977__11_2_113_0/ %G fr %F ITA_1977__11_2_113_0