E#ective bounds from ine#ective proofs in analysis: an application of functional interpretation and majorization (1992)

by U Kohlenbach
Venue:Journal of Symbolic Logic