1 ressource : BRUNERIE GUILLAUME

Recherche en cours

Par auteur = BRUNERIE GUILLAUME

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

1 ressource

page 1 sur 1

résultats 1 à 1

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

Mots clés : Grenoble, CNRS, institut fourier, UGA, inter'actions, types dépendants, axiome d'univalence

Date : 26-05-2015

Format : video/mp4

Auteur : BRUNERIE Guillaume

Thème : Mathématiques

Type de la ressource pédagogique : cours / présentation

Niveau : doctorat

Droits : Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0