The following pages link to Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms (Q2936239):
Displayed 1 item.