06 - Théorie des types dépendants et formalisation des mathématiques : Modèles de la théorie des types et du principe d'univalence
Failed to add items
Sorry, we are unable to add the item because your shopping cart is already at capacity.
Add to basket failed.
Please try again later
Add to wishlist failed.
Please try again later
Remove from wishlist failed.
Please try again later
Adding to library failed
Please try again
Follow podcast failed
Unfollow podcast failed
06 - Théorie des types dépendants et formalisation des mathématiques : Modèles de la théorie des types et du principe d'univalence
-
Narrated by:
-
By:
Summary
Collège de France
Thierry Coquand
Informatique et sciences numériques (2024-2025)
Année 2024-2025
06 - Théorie des types dépendants et formalisation des mathématiques : Modèles de la théorie des types et du principe d'univalence
Plan du cours :
modèle de Voevodsky des ensembles simpliciaux et caractère non effectif de ces modèles ;
modèles effectifs avec ensembles cubiques ;
application à une définition de structure de modèle la Quillen sur certains modèles de préfaisceaux ;
définition constructive des types d'homotopie des espaces topologiques.
adbl_web_anon_alc_button_suppression_c
No reviews yet