Kohlenbach, U. Proof Theory and Computational Analysis. BRICS 1997, 4.