Brandizzi, Loreane Evelyn Nazareth, Universidade de Brasília, Brasil

• 16° CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB 7° DO DF - Submissões gerais
  Formalização de propriedades do ʎ-cálculo em notação de DeBruijn
  Resumo