1 citations · 1 across the 1 of their papers we have counts for
1 paper
David Binder, Marco Tzschentke, Marius Müller +1
The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The λμμ-calculus is a term assignment system for the sequent calculu…