Permutability in proof terms for intuitionistic sequent calculus with cuts

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

Conference Paper

M.J. Frade

Publication

Year of publication: 2018

Volume: 97

Identifiers

Other: 2-s2.0-85057013371

Locators

Alternative Titles