Teoria dos Tipos e GruposTeoria dos Tipos e GruposExplicadosdos tipos intensionais.Examinando a realizabilidade na teoriaLógica na InformáticaTeoria dos Tipos Intencionais e Realizabilidade GrupalUma exploração da teoria dos tipos através da realizabilidade e dos grupóides.2025-07-22T05:21:33+00:00 ― 8 min ler