Ramos, Raphael Soares, UnB

• 24º Congresso de Iniciação Científica da Unb e 15º do DF - Submissões gerais
  Uma Formalização Construtiva do Teorema da Modularidade da Normalização Forte
  Resumo