Hugo Salou – ENS L3

Algorithmique

Théorie de la programmation

Intégration et mesure

Théorie des catégories

Fondements de l’informatique