TY  - RPRT
TI  - Unary Primitive Recursive Functions
AU  - Daniel E. Severin
PY  - 2007
DO  - 10.2178/jsl/1230396909
UR  - https://arxiv.org/abs/cs/0603063
ID  - cs/0603063
ER  -