08 - Théorie des types dépendants et formalisation des mathématiques : Modalités et modèles de la théorie des types
Impossibile aggiungere al carrello
Puoi avere soltanto 50 titoli nel carrello per il checkout.
Riprova più tardi
Riprova più tardi
Rimozione dalla Lista desideri non riuscita.
Riprova più tardi
Non è stato possibile aggiungere il titolo alla Libreria
Per favore riprova
Non è stato possibile seguire il Podcast
Per favore riprova
Esecuzione del comando Non seguire più non riuscita
08 - Théorie des types dépendants et formalisation des mathématiques : Modalités et modèles de la théorie des types
-
Letto da:
-
Di:
A proposito di questo titolo
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.
Ancora nessuna recensione