08 - Théorie des types dépendants et formalisation des mathématiques : Modalités et modèles de la théorie des types
No se pudo agregar al carrito
Solo puedes tener X títulos en el carrito para realizar el pago.
Add to Cart failed.
Por favor prueba de nuevo más tarde
Error al Agregar a Lista de Deseos.
Por favor prueba de nuevo más tarde
Error al eliminar de la lista de deseos.
Por favor prueba de nuevo más tarde
Error al añadir a tu biblioteca
Por favor intenta de nuevo
Error al seguir el podcast
Intenta nuevamente
Error al dejar de seguir el podcast
Intenta nuevamente
08 - Théorie des types dépendants et formalisation des mathématiques : Modalités et modèles de la théorie des types
-
Narrado por:
-
De:
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.
Todavía no hay opiniones