Axel Ljungström

Este artículo habla sobre nuevos desarrollos en cohomología usando la Teoría de Tipos de Homotopía.

Un nuevo método reduce la complejidad para entender los productos smash en HoTT.

Los contenedores dan forma a las estructuras de datos para una mejor gestión y organización en la programación.