Ramified Recurrence and Computational Complexity IV: Predicative Functionals and Poly-space (0)

by D Leivant, J-Y Marion
Venue:Information and Computation