On the Relation Between Primitive Recursion, Schematization and Divergence.

Miki Hermann On the Relation Between Primitive Recursion, Schematization and Divergence. 115-127 1992 conf/alp/1992 ALP db/conf/alp/alp92.html#Hermann92 http://dx.doi.org/10.1007/BFb0013823