→
Cours

Théorie des types dépendants et formalisation des mathématiques

→

Ce fournisseur ne permet pas l'ajout d'événements multiples en un clic. Voici la liste des événements à ajouter individuellement.

La théorie des types, de Russell à de Bruijn
Thierry Coquand

Cours
10:00 à 11:00

Déduction naturelle et modèles
Thierry Coquand

Cours
10:00 à 11:00

Univers, paradoxes et normalisation
Thierry Coquand

Cours
10:00 à 11:00

Théorie des types et théorie des ensembles
Thierry Coquand

Cours
10:00 à 11:30

Le mystère de l’égalité ; la notion de type comme généralisation de la notio…
Thierry Coquand

Cours
10:00 à 11:00

Modèles de la théorie des types et du principe d’univalence
Thierry Coquand

Cours
10:00 à 11:00

Espaces d’Eilenberg-MacLane et cohomologie
Thierry Coquand

Cours
10:00 à 11:00

Modalités et modèles de la théorie des types
Thierry Coquand

Cours
10:00 à 11:00