First steps in homotopy 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

• Ruy José Guerra Barretto de Queiroz

produzido em

• https://brcris.ibict.br/individual/cour_a2939b77-07d5-49f1-b6e4-f1b4f41540d7 
• Graduate Program in Mathematics  Programa de Pós-Graduação

tipo

• master thesis

autores

• João Alves Silva Júnior

data de publicação

• 2014-01-01

prêmio patrocinado pela

• UNIVERSIDADE FEDERAL DE PERNAMBUCO  Organização

áreas de investigação

• CIENCIAS_EXATAS_E_DA_TERRA
• Lógica Matemática
• Teoria da Homotopia
• Teoria das Categorias
• Álgebra

palavras-chave

• Teoria dos Tipos
• cobertura universal do círculo
• fundamentos univalentes
• grupo fundamental do círculo
• lema do achatamento
• teoria de tipos de homotopia
• teoria homotópica de tipos

identificador BrCris

• e5e437671c36f678c5c426e79451f011

identificador Capes

• 1767936-Publication

identificador Oasisbr

• UFPE_c4094435c7ddbb4800394e61573c42e7