A Safe Recursion Scheme for Exponential Time.

Peter Clote

Browse the full LFCS paper archive.