Jeremy Avigad, Vasco Brattka. Computability and analysis: the legacy of Alan Turing. In Rod Downey, editor, Turing's Legacy: Developments from Turing's Ideas in Logic. Volume 42 of Lecture Notes in Logic, pages 1-47, Cambridge University Press, 2014. [doi]
Abstract is missing.