Navegando por Autor Coelho, Dayanne Gouveia
Mostrando resultados 17 a 17 de 17
< Anterior
Data do documento | Título | Autor(es) |
---|---|---|
2020 | Semântica denotacional para o lambda cálculo computacional em Agda. | Amaro, Maycon José Jorge |