Applied Proof Theory: Proof Interpretations and Their Use in Mathematics - Kohlenbach, Ulrich (Springer Berlin Heidelberg, 2008)