Orateur
Prof.
Patrick MASSOT
(LMO, Université Paris-Saclay)
Description
Dans cet exposé je passerai en revue les surprises bonnes et moins bonnes je j'ai rencontrées en formalisant des mathématiques modernes en théorie des types dépendants.