Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence ; : Inter’actions in mathematics 2015 ; Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence : Inter’actions en mathématiques 2015

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      Laboratoire Jean Alexandre Dieudonné (LJAD); Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA); Institut Fourier (IF ); Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )
    • بيانات النشر:
      HAL CCSD
    • الموضوع:
      2015
    • Collection:
      HAL Université Côte d'Azur
    • نبذة مختصرة :
      Théorie des types dépendants et axiome d'univalence
    • Relation:
      medihal-01346862; https://hal.science/medihal-01346862; https://hal.science/medihal-01346862/document; https://hal.science/medihal-01346862/file/intro_cours2bis.mp4
    • الدخول الالكتروني :
      https://hal.science/medihal-01346862
      https://hal.science/medihal-01346862/document
      https://hal.science/medihal-01346862/file/intro_cours2bis.mp4
    • Rights:
      http://creativecommons.org/licenses/by-nc-nd/ ; info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.2AF69634