Characterizing complexity classes by general recursive definitions in higher types
scientific article; zbMATH DE number 165616
scientific article