Rewriting theory for effects and dependent types

par Xavier Montillet

Projet de thèse en Informatique

Sous la direction de Nicolas Tabareau et de Guillaume Munch-maccagnoni.

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.