[in progress] 2021-2023
The aim is to offer students from all walks of life an introduction to the theory of demonstration and its associated research topics - without the need for prior knowledge. More precisely, it is a matter of setting up a route from first-order logic to linear logic; in doing so, the following elements will be addressed: theory of models, categories, types, lambda-calculus, linear logic. The exposition of linear logic, which requires knowledge of the other theories, will constitute the goal and the end of this logical itinerary.
Hugo CADIÈRE, Quentin LE HOUÉROU, Rémi BARRITAULT, Théophile RICHARD DE CAPELE D'HAUPOUL, Roman ALLANIC-PEREZ