Text this: Computation and proof theory :