Extended primitive recursive functions P. Mentrasti and M. Protasi RAIRO. Inform. théor., 16 1 (1982) 73-84 Published online: 01 February 2017 DOI: 10.1051/ita/1982160100731