Des dialogues au calcul des séquents pour la théorie constructive des types : une perspective dynamique sur la théorie de la preuve.

par Steephen Rossy Eckoubili

Projet de thèse en Philosophie

Sous la direction de Shahid Rahman.

Thèses en préparation à Lille 3 , dans le cadre de École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) depuis le 01-12-2015 .


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


  • Pas de résumé disponible.