Author Details

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

  • - Submissões gerais
    Formalização da Propriedade de Normalização Forte para o Cálculo Lambda_ex
    Abstract


ISBN 978-85-64593-74-9