Systèmes de types pour la complexité implicite

by Alexis Ghyselen

Thesis project in Informatique

Under the supervision of Patrick Baillot.

Ongoing thesis at Lyon , under the authority of École doctorale en Informatique et Mathématiques de Lyon , in a partnership with École centrale de Lyon (établissement opérateur d'inscription) since 01-09-2018 .


  • Abstract not available


  • French abstract not available