Ressource pédagogique : Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence

Mots-clés :
Accéder à la ressource pédagogiqueDroits d'accès : non autorisé
cours / présentation - Date de création : 26-05-2015
Auteur(s) : Guillaume BRUNERIE
Partagez !

Présentation de: Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence

Informations pratiques sur cette ressource

Langue du document : Français
Type pédagogique : cours / présentation
Niveau : doctorat
Durée d'exécution : 41 minutes 44 secondes
Contenu : image en mouvement
Document : video/mp4
Taille : 1.54 Go
Droits d'auteur : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0

Description de la ressource pédagogique

Description (résumé)

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

"Domaine(s)" et indice(s) Dewey

  • Mathématiques (510)

Thème(s)

Intervenants, édition et diffusion

Intervenants

Fournisseur(s) de contenus : Fanny Bastien

Diffusion

Document(s) annexe(s) - Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence

Partagez !

AUTEUR(S)

  • Guillaume BRUNERIE

EN SAVOIR PLUS

  • Identifiant de la fiche
    24444
  • Identifiant
    oai:canal-u.fr:24444
  • Schéma de la métadonnée
  • Entrepôt d'origine
    Canal-U