Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization (1992)

by Ulrich Kohlenbach
Venue:Journal of Symbolic Logic