Mathematics
and Interactions

Keywords > théorie des types homotopiques

• Videos linked to théorie des types homotopiques
  

  01:02:17

  published on June 20, 2022

  Le principe d'univalence: le transfer du raisonnement à traver les equivalence

  By Benedikt Ahrens

  More +