Thibaut Benjamin: A type theoretic approach to weak w-categories and related higher structures. (Catégories faibles et structures supérieures afférentes en théorie des types). Polytechnic Institute of Paris, France 2020