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

Auteur(s) : BRUNERIE GUILLAUME    26-05-2015  Éditeur(s) : Fanny Bastien;     Description : Théorie des types dépendants et axiome d'univalence Mots-clés libres : Grenoble, CNRS, institut fourier, UGA, inter'actions, types dépendants, axiome d'univalence Classification générale : Mathématiques Accès à la ressource : http://www.canal-u.tv/video/institut_fourier/guill... rtmpt://fms2.cerimes.fr:80/vod/institut_fourier/gu... Conditions d'utilisation : Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0

DONNEES PEDAGOGIQUES Type pédagogique : cours / présentation Niveau : doctorat DONNEES TECHNIQUES Format : video/x-flv Taille : 1.54 Go Durée d'exécution : 41 minutes 44 secondes

Exporter au format XML