@inproceedings{Koh:20b,
  publisher = {College Publications. Tributes vol. 41},
  year = 2020,
  booktitle = {Kreisel's Interests. On the Foundations of Logic and
               Mathematics},
  author = {Kohlenbach, Ulrich},
  title = {Local formalizations in nonlinear analysis and related areas and
           proof-theoretic tameness},
  pages = {45-61},
}