Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction
Sara Negri, Jan von Plato · 2016
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction was published in Concepts of Proof in Mathematics, Philosophy, and Computer Science on page 269.