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