Anders Mörtberg

Cet article parle des nouvelles avancées en cohomologie en utilisant la théorie des types de l'homotopie.

Découvrez comment la théorie des types d'homotopie transforme notre vision des ensembles et des types.