A Uniform Algebraic Approach to Cut Elimination via Semi-completeness
2010 ◽
Vol 161
(9)
◽
pp. 1097-1133
◽
Keyword(s):
2019 ◽
Vol 38
(4)
◽
pp. 817-850
◽
Keyword(s):