Gerhardy, P., & Kohlenbach, U. (2004). Strongly Uniform Bounds from Semi-Constructive Proofs. BRICS Report Series, 11(31). https://doi.org/10.7146/brics.v11i31.21856