Junior, Pedro da Costa Abreu, Universidade de Brasília, Brasil

• 20º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 11º DO DF - Submissões gerais
  Formalização da Propriedade de Normalização Forte para o Cálculo Lambda_ex
  Resumo