Characterizing complexity classes by higher type primitive recursive definitions | IEEE Conference Publication | IEEE Xplore