Thursday 27 June 2019, 14:00 (first part) and Thursday 18 July 2019, 10:30 (second part), LSV library: Modèles catégoriques de la théorie des types (2 séances), Valentin Blot (Deducteam) .

Je donnerai une petite introduction aux différents modèles catégoriques de théorie des types : catégories localement cartésiennes closes, "display map categories", catégories avec attributs, catégories avec familles et "comprehension categories". Il ne s'agit pas d'un exposé de recherche, mais simplement de partager le fruit de la biblio que j'ai faite sur le sujet le mois dernier. J'essaierai d'être le plus pédagogique possible afin que tout le monde puisse suivre. Le but est aussi d'avoir un exposé interactif.