Author Details

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

  • - Submissões gerais
    Formalização de propriedades do ʎ-cálculo em notação de DeBruijn
    Abstract