Mentrasti, P.; Protasi, M. Extended primitive recursive functions. (English) Zbl 0498.03024 RAIRO, Inf. Théor. 16, 73-84 (1982). MSC: 03D20 PDFBibTeX XMLCite \textit{P. Mentrasti} and \textit{M. Protasi}, RAIRO, Inf. Théor. 16, 73--84 (1982; Zbl 0498.03024) Full Text: EuDML
Fachini, E.; Maggiolo-Schettini, A. A hierarchy of primitive recursive sequence functions. (English) Zbl 0402.03041 RAIRO, Inf. Théor. 13, 49-67 (1979). MSC: 03D55 03D20 PDFBibTeX XMLCite \textit{E. Fachini} and \textit{A. Maggiolo-Schettini}, RAIRO, Inf. Théor. 13, 49--67 (1979; Zbl 0402.03041) Full Text: EuDML