Predicative recursion and the polytime hierarchy (1995)

by S Bellantoni
Venue:Feasible Mathematics II