Characterizing complexity classesby higher-type primitive-recursive definitions (1989)

by A Goerdt
Venue:In Proc. 4th IEEE Symp. on Logic in Computer Science