@incollection{Koh:02d,
  author = {Kohlenbach, Ulrich},
  publisher = {ASL and A K Peters},
  editor = {Sieg, W. and Sommer, R. and Talcott, C.},
  pages = {92-116},
  title = {{F}oundational and mathematical uses of higher types},
  booktitle = {Reflections on the Foundations of Mathematics: Essays in Honor of
               Solomon Feferman. },
  volume = 15,
  year = 2002,
  series = {Lecture Notes in Logic},
}