Computation and Reduction