An Exactification of the Monoid of Primitive Recursive Functions.

Joachim Lambek Philip J. Scott An Exactification of the Monoid of Primitive Recursive Functions. 1-18 2005 81 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-2765-x db/journals/sLogica/sLogica81.html#LambekS05