Colloque - Formalisation des mathématiques et types dépendants - Denis-Charles Cisinski : La logique des catégories supérieures

Colloque - Formalisation des mathématiques et types dépendants - Riccardo Brasca : Progrès récents dans la formalisation de la théorie des nombres

Colloque - Formalisation des mathématiques et types dépendants - Pierre-Marie Pédrot : Pour s'asseoir sur les fondations

Colloque - Formalisation des mathématiques et types dépendants - Assia Mahboubi : Preuves formelles mutatis mutandis

Colloque - Formalisation des mathématiques et types dépendants - Antoine Chambert-Loir : Sur la formalisation des puissances divisées

08 - Théorie des types dépendants et formalisation des mathématiques : Modalités et modèles de la théorie des types

07 - Théorie des types dépendants et formalisation des mathématiques : Espaces d'Eilenberg-MacLane et cohomologie

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

05 - Théorie des types dépendants et formalisation des mathématiques : Le mystère de l'égalité ; la notion de type comme généralisation de la notion d'ensemble

04 - Théorie des types dépendants et formalisation des mathématiques : Théorie des types et théorie des ensembles

03 - Théorie des types dépendants et formalisation des mathématiques : Univers, paradoxes et normalisation

02 - Théorie des types dépendants et formalisation des mathématiques : Déduction naturelle et modèles

01 - Théorie des types dépendants et formalisation des mathématiques : La théorie des types, de Russell à de Bruijn

Leçon inaugurale - Thierry Coquand : La théorie des types, de Russell aux assistants à la démonstration