Effets dans la théorie des types

par Meven Bertrand

Projet de thèse en Informatique

Sous la direction de Nicolas Tabareau.

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


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

  • Titre traduit

    Effects in Type Theory


  • Pas de résumé disponible.