Title: Rewriting, Computation and Proof