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
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
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
-
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
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.
Ancora nessuna recensione