Characterizing complexity classes by general recursive definitions in higher types (1992)

by A Goerdt
Venue:Information and Computation 101