Théorie des types dépendants et algèbre de dimension supérieure.

par Chaitanya Leena subramaniam

Projet de thèse en Informatique

Sous la direction de Paul-andre Mellies et de Gilles Dowek.

Thèses en préparation à Sorbonne Paris Cité , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec Institut de Recherche en Informatique Fondamentale (equipe de recherche) depuis le 19-07-2017 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.