Permutability in proof terms for intuitionistic sequent calculus with cuts

Leibniz International Proceedings in Informatics, LIPIcs

Conference Paper

M.J. Frade

Publication

Year of publication: 2018

Volume: 97

Identifiers

Other: 2-s2.0-85057013371

Locators

Alternative Titles