Des Dialogues aux fondements des Mathématiques Constructives : pour une perspective dynamique sur la notion de démonstration dans la Théorie Constructive des Types

 Soutenance de Steephen Rossy Eckoubili

Intitulé de la thèse:

" Des Dialogues aux fondements des Mathématiques Constructives :  pour une perspective dynamique sur la notion de démonstration dans la Théorie Constructive des Types "

Composition du jury:

Shahid Rahman, directeur de thèse

Cristina Baréss-Gomez, Universidad de Sevilla

Maria José Frapolli, Universidad de Granada

Mawusse Kpakpo Akué Adotevi, Université de Lomé

Matthieu Fontaine, Universidad de Sevilla

Gildas Nzokou, Université Omar Bongo

Adjoua Bernadette Dango, Université Alassane Ouattara.