Proof Theory in Computer Science