Title: Computation and Proof Theory