Introduction au mu-calcul


Karim Nour, Equipe LIMD. 20 février 2025 09:30 TLR limd 2:00:00
Abstract:

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.