A cut-like inference in a framework of explicit composition for various calculi of natural deduction

2015

Michael Arndt, Laura Tesconi

in: From logic to practice, Berlin,