publicações selecionadas artigo de conferência Permutability in proof terms for intuitionistic sequent calculus with cuts 2018
