Vasco Brattka, Guido Gherardi. A method to evaluate the computational complexity of the theorems from functional analysis. In Alessandra Cherubini, Mario Coppo, Giuseppe Persiano, editors, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. pages 59-61, 2009.
Abstract is missing.