Teoria homotópica dos tipos e fundamentos da matemática
| Autores | Holanda, João Pedro | |
|---|---|---|
| Orientador | Tsouanas, Thanos | |
| Editor | Universidade Federal do Rio Grande do Norte | |
| Data | 2025-01-17 | |
| Palavras-chave | Teoria homotópica dos tipos Teoria dos tipos Fundamentos da matemática Homotopy type theory Type theory Foundations of mathematics | |
| Citação | ||
| Resumo | ||
| URI | https://repositorio.ufrn.br/handle/123456789/61746 | |
| Coleções | CCET - TCC - Ciência da Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- teoria homotópica dos tipos e fundamentos da matemática.pdf
- Tamanho:
- 462 KB
- Formato:
- Adobe Portable Document Format
Nenhuma Miniatura disponível
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 1.45 KB
- Formato:
- Item-specific license agreed upon to submission
Nenhuma Miniatura disponível