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 Université , dans le cadre de MathSTIC (Nantes) depuis le 21-09-2017 .

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

Pas de résumé disponible.