Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Summer School 2026 - ICRA 2026
4 videos

Summer School 2026 - ICRA 2026

CEMRACS 2026 : Modeling and AI for Environmental Transition / Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique
19 videos

CEMRACS 2026 : Modeling and AI for Environmental Transition / Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique

Coulomb branches and affine quantum groups / Branches de Coulomb et groupes quantiques affines
5 videos

Coulomb branches and affine quantum groups / Branches de Coulomb et groupes quantiques affines

Algebraic geometry and complex geometry / Géométrie algébrique et géométrie complexe
6 videos

Algebraic geometry and complex geometry / Géométrie algébrique et géométrie complexe

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
00:00:00 / 00:00:00

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

By Guillaume Brunerie

Appears in collection : Inter'Actions 2015 - colloque pour les doctorants en mathématiques en France

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

Information about the video

  • Date of recording 26/05/2015
  • Date of publication 22/04/2026
  • Institution Institut Fourier
  • Licence CC BY NC ND
  • Language French
  • Format MP4

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Subscribe illustration
Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback