Daniel E. Severin. Unary primitive recursive functions. Journal of Symbolic Logic, 73(4):1122-1138, 2008. [doi]
@article{Severin08, title = {Unary primitive recursive functions}, author = {Daniel E. Severin}, year = {2008}, url = {http://projecteuclid.org/euclid.jsl/1230396909}, tags = {e-science}, researchr = {https://researchr.org/publication/Severin08}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {73}, number = {4}, pages = {1122-1138}, }