Computability on Non-Separable Banach Spaces and Landau's Theorem

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.

Authors

Vasco Brattka

This author has not been identified. Look up 'Vasco Brattka' in Google