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