Permutability in proof terms for intuitionistic sequent calculus with cuts Artigo de Conferência uri icon

autores

  • Frade, MJ
  • Santo, JE
  • Frade, MJ
  • Pinto, L

data de publicação

  • janeiro 1, 2018