The Exact Hardness of Deciding Derivational and Runtime Complexity.

Andreas Schnabl, Jakob Grue Simonsen

Browse the full CSL paper archive.