Explicit computational paths in type theory Documento

membro de

• https://brcris.ibict.br/individual/comm_13420c68-9ae8-4762-8568-9aadf27b3325 
• https://brcris.ibict.br/individual/comm_484b40f0-b3f8-4a11-8be7-457eed856e00 

orientado por

• Anjolina Grisi de Oliveira

produzido em

• https://brcris.ibict.br/individual/cour_f77616b3-7a57-4c77-b681-9bb6f4faa051 
• Computer Science graduate program  Programa de Pós-Graduação

tipo

• doctoral thesis

autores

• Arthur Freitas Ramos

data de publicação

• 2018-01-01

prêmio patrocinado pela

• UNIVERSIDADE FEDERAL DE PERNAMBUCO  Organização

áreas de investigação

• Lógicas e Semântica de Programas
• Teoria da Computação
• Teoria das Categorias

palavras-chave

• Caminhos Computacionais
• Sistema de Reescrita de Termos
• Teoria Homotopica dos Tipos
• Teoria das Categorias
• Tipo Identidade
• Unicidade de Provas de Identidade

identificador BrCris

• 468b5459086975121ad85c8ec6bc2a16

identificador Capes

• 6393316-Publication

identificador Oasisbr

• UFPE_c1a2ae7875f0d03c100329993eda5d19