Knowtex

38783 liens
  • 41714

    Homotopy Type Theory and Higher Inductive Types

    In this article, we explore the possibilities allowed by higher inductive types. They enable a much more intuitive formalization of integers and new mind-blowing definitions of the (homotopical) circle and sphere.

    • Laisser un commentaire :

      Connectez-vous pour laisser un commentaire.

    Demande de confirmation

    Etes-vous sûr de vouloir continuer ?