Displaying similar documents to “Iteration of Relative Primitive Recursion”