Lifting Recursive Counterexamples to Higher-Order Arithmetic.

Sam Sanders

Browse the full LFCS paper archive.