Provability and interpretability logics, Game semantics and the theory of interactive computation, Proof theory and deep inference, Complexity theory