Characterizing Complexity Classes by General Recursive Definitions in Higher Types.

Andreas Goerdt

Browse the full CSL paper archive.