Coherent structures in dependant type theory and higher category theory

par Antoine Allioux

Projet de thèse en Informatique

Sous la direction de Pierre-louis Curien.

Thèses en préparation à l'Université de Paris (2019-....) , dans le cadre de 386 - SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec PPS - Preuves Programmes et Systèmes (equipe de recherche) depuis le 01-03-2018 .


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


  • Pas de résumé disponible.