@article{Koh:07h,
  title = {Proof interpretations and the computational content of proofs in
           mathematics},
  pages = {143-173},
  journal = {Bulletin EATCS},
  volume = 93,
  year = 2007,
  author = {Kohlenbach, Ulrich},
}