Jones has said a few times that there's no demonstrable benefit to the sequent calculus over the lambda calculus. Here they conclude that the sequent calculus is better for term rewriting optimizations. Of course, term rewriting itself hasn't been shown to be very useful.