GERHARDY, P.; KOHLENBACH, U. Strongly Uniform Bounds from Semi-Constructive Proofs. BRICS Report Series, [S. l.], v. 11, n. 31, 2004. DOI: 10.7146/brics.v11i31.21856. Disponível em: https://tidsskrift.dk/brics/article/view/21856. Acesso em: 27 nov. 2024.