Ulrich Kohlenbach. Proof Mining in Functional Analysis. In S. Barry Cooper, Benedikt Löwe, Leen Torenvliet, editors, New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings. Volume 3526 of Lecture Notes in Computer Science, pages 233-234, Springer, 2005. [doi]
Abstract is missing.