Axel Ljungström

Questo articolo parla delle nuove scoperte nella coomologia usando la Teoria del Tipo di Omotopia.

Un nuovo metodo riduce la complessità nella comprensione dei prodotti smash in HoTT.

I contenitori modellano le strutture dati per una gestione e organizzazione migliori nella programmazione.