Vasco Brattka. Computability on Non-Separable Banach Spaces and Landau's Theorem. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.
Abstract is missing.