"Interprétation catégorique de la théorie des types : questions de cohérence" par Pierre-Louis Curien (CNRS & Université Paris 7)