Sequent Calculus in the Topos of Trees