Characterizing the Grzegorczyk hierarchy by safe recursion (1999)

by Marc Wirz , Marc Wirz