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

by U Kohlenbach
Venue:J. Symbolic Logic