Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
RAIRO. Inform. théor., 11 2 (1977) 113-126
Published online: 01 February 2017
DOI: 10.1051/ita/1977110201131