Axiomes de Giraud-Resk-Lurie en Théorie des Types Homotopiques

par Simon Pierre Boulier

Projet de thèse en Informatique et applications

Sous la direction de Nicolas Tabareau.

Thèses en préparation à l'Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire , dans le cadre de École doctorale Sciences et technologies de l'information et mathématiques (Nantes) , en partenariat avec Ascola (equipe de recherche) depuis le 31-08-2015 .


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


  • Pas de résumé disponible.