Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence - Laboratoire Jean-Alexandre Dieudonné Accéder directement au contenu
Vidéo Année : 2015

Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence

Afficher 

Fanny Bastien
Jérémy Magnien
  • Fonction : Monteur
  • PersonId : 966327

Résumé

Théorie des types dépendants et axiome d'univalence

Dates et versions

medihal-01346862 , version 1 (19-07-2016)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : medihal-01346862 , version 1

Citer

Guillaume Brunerie, Fanny Bastien, Jérémy Magnien. Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence : Inter’actions en mathématiques 2015. 2015. ⟨medihal-01346862⟩
232 Consultations
9 Téléchargements

Partager

Gmail Facebook X LinkedIn More