Les chercheurs de l'ENS de Lyon participent à de nombreux projets de recherche financés par différents acteurs au niveau régional, national et européen. Ces financements font l'objet d'appels à projets et favorisent le développement de la recherche.
L'objectif est de proposer aux étudiants et étudiantes de tous horizons une introduction à la théorie de la démonstration et aux thématiques de recherche qui y sont associées – sans nécessité d'une connaissance préalable. Plus précisément, il s'agit de la mise en place d'un itinéraire qui, de la logique du premier ordre, s’achemine vers la logique linéaire ; ce faisant, seront abordés les éléments suivants : théorie des modèles, des catégories, des types, lambda-calcul, logique linéaire. L’exposition de la logique linéaire, qui requiert de connaître les autres théories, constituera le but et le terme de cet itinéraire logique.
Date de création :
Décembre 2021
Date de clôture :
Décembre 2023
Porteurs du projet :
Hugo CADIÈRE, Quentin LE HOUÉROU, Rémi BARRITAULT, Théophile RICHARD DE CAPELE D'HAUPOUL, Roman ALLANIC-PEREZ