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 |