Quantization on space-like surfaces

We give a mathematical definition of dynamical evolution in quantum field theory, including evolution on space-like surfaces, and show its relationship with the axiomatic and perturbative approaches to QFT.