Predicative recurrence and computational complexity IV: Predicative functionals and poly-space. should be published (1994)

by D Leivant, J-Y Marion
Venue:In Proceedings of 8th International Workshop on Computer Science Logic (CSL