Le but de mon exposé est de vous présenter mon thème de recherche, qui était également celui de l'équipe de logique lors de sa création. L'objectif est d'étudier la relation entre les démonstrations mathématiques complètement formalisées et la programmation à l'aide d'un langage fonctionnel très basique.
Plusieurs questions nous intéressent dans ce domaine :
L'exposé sera en français, avec des diapositives en anglais, et ne nécessitera pas de connaissances avancées dans ce domaine.