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