Characterizing Complexity Classes By Higher Type Primitive Recursive Definitions

Andreas Goerdt

Browse the full LICS paper archive.