@article{Koh:11d,
  journal = {Annals of Pure and Applied Logic},
  title = {{G}\"odel functional interpretation and weak compactness},
  volume = 163,
  year = 2012,
  author = {Kohlenbach, Ulrich},
}