Computability and analysis: the legacy of Alan Turing. Avigad, J. & Brattka, V. In Turing's Legacy: Developments from Turing's Ideas in Logic, volume 42, pages 1–47. Cambridge University Press, Cambridge, UK, 2014.
Computability and analysis: the legacy of Alan Turing [link]Paper  doi  bibtex   
@INCOLLECTION{AB14,
  author = {Avigad, Jeremy and Brattka, Vasco},
  title = {Computability and analysis: the legacy of {A}lan {T}uring},
  booktitle = {Turing's Legacy: Developments from Turing's Ideas in Logic},
  publisher = {Cambridge University Press},
  year = {2014},
  editor = {Downey, Rod},
  volume = {42},
  series = LNL,
  pages = {1--47},
  address = {Cambridge, UK},
  doi = {10.1017/CBO9781107338579.002},
  file = {AB14.pdf:AB14.pdf:PDF},
  isbn = {9781107043480},
  keywords = {bib, cca, team},
  owner = {Vasco},
  timestamp = {2013.12.01},
  url = {http://dx.doi.org/10.1017/CBO9781107338579.002}
}

Downloads: 0