Browsing by author RAMOS, Arthur Freitas
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 17-Aug-2018 | Explicit computational paths in type theory | RAMOS, Arthur Freitas |
| 25-Jul-2015 | Tipo identidade como o tipo de caminhos computacionais | RAMOS, Arthur Freitas |