Characterizing complexity classes by higher type primitive recursive definitions (1992)

by A Goerdt
Venue:Theoretical Computer Science