A hierarchy of primitive recursive sequence functions
and
RAIRO. Inform. théor., 13 1 (1979) 49-67
Published online: 01 February 2017
DOI: 10.1051/ita/1979130100491
