@incollection{Koh:centenary,
  title = {{G}oedel's functional interpretation and its use in current
           mathematics},
  editor = {Matthias Baaz},
  note = {Reprinted in: dialectica Vol. 62, no. 2, pp. 223-267 (2008)},
  publisher = {Cambridge University Press},
  booktitle = {Horizons of Truth: Goedel Centenary},
  year = 2008,
  author = {Kohlenbach, Ulrich},
}