Axel Ljungström

Este artigo fala sobre novos desenvolvimentos em cohomologia usando Teoria do Tipo de Homotopia.

Um novo método reduz a complexidade de entender produtos smash em HoTT.

Os contêineres moldam estruturas de dados pra uma melhor gestão e organização na programação.