08 - Théorie des types dépendants et formalisation des mathématiques : Modalités et modèles de la théorie des types
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 Wish List failed.
Please try again later
Remove from Wish List failed.
Please try again later
Follow podcast failed
Unfollow podcast failed
08 - Théorie des types dépendants et formalisation des mathématiques : Modalités et modèles de la théorie des types
-
Narrated by:
-
By:
About this listen
Collège de France
Thierry Coquand
Informatique et sciences numériques (2024-2025)
Année 2024-2025
08 - Théorie des types dépendants et formalisation des mathématiques : Modalités et modèles de la théorie des types
Plan du cours :
modalités exactes à gauche ;
application pour construire des nouveaux modèles de la théorie des types ;
non prouvabilité de la thèse de Church et du choix dénombrable ;
structure de modèle de Quillen et modèle constructif de la notion de types d'homotopie.
No reviews yet
In the spirit of reconciliation, Audible acknowledges the Traditional Custodians of country throughout Australia and their connections to land, sea and community. We pay our respect to their elders past and present and extend that respect to all Aboriginal and Torres Strait Islander peoples today.