Functional interpretation and inductive definitions

by Jeremy Avigad, Henry Towsner
Venue:Journal of Symbolic Logic