Extending the flexibility of the universe hierarchy in type theory

par Théo Winterhalter

Projet de thèse en Informatique

Sous la direction de Nicolas Tabareau et de Matthieu Sozeau.

Thèses en préparation à Nantes , dans le cadre de MathSTIC (Nantes) depuis le 21-09-2017 .


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


  • Pas de résumé disponible.