Mergulho Profundo naMergulho Profundo naTeoria dos Tipos deHomotopiaestão moldando a matemática moderna.Analisando conceitos avançados queLógica na InformáticaTeoria de Tipos de Homotopia: Juntando Matemática e Ciência da ComputaçãoUm olhar sobre os princípios da Teoria dos Tipos de Homotopia e seu impacto.2025-10-07T05:01:54+00:00 ― 5 min ler