hugo emile andré daniel cadiere

Titre de thèse :
Calculabilité, Types, Catégories : les fondements computationnels de la logique et leurs enjeux philosophiques - de Curry-Howard à la théorie homotopique des types
Directeur de thèse :
JOINET Jean-Baptiste
Courriel :
hugo.cadiere1@univ-lyon3.fr