Homotopy Type TheoryHomotopy Type TheoryExplicadoimpactos do HoTT.Uma mergulhada nos princípios eLógica na InformáticaTeoria de Tipos de Homotopia: Uma Nova Estrutura na MatemáticaDescubra o campo em expansão da Teoria de Tipo de Homotopia e suas implicações.2025-08-28T03:28:57+00:00 ― 6 min ler