Espèces généralisées, logique linéaire et théorie de l'homotopie enrichie.

par Pierre Cagne

Projet de thèse en Informatique


Sous la direction de Paul-andre Mielles.

Thèses en préparation à Sorbonne Paris Cité , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE depuis le 11-01-2016 .


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


  • Pas de résumé disponible.