Vincent Siles: Investigation on the typing of equality in type systems. (Etude sur le typage de l'égalité dans les systèmes de types). École Polytechnique, Palaiseau, France 2010