Systèmes de types pour la complexité implicite

par Alexis Ghyselen

Projet de thèse en Informatique

Sous la direction de Patrick Baillot.

Thèses en préparation à Lyon , dans le cadre de École doctorale en Informatique et Mathématiques de Lyon , en partenariat avec École centrale de Lyon (établissement opérateur d'inscription) depuis le 01-09-2018 .


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


  • Pas de résumé disponible.