21-23 October 2015
Institut de Mathématiques de Toulouse
Europe/Paris timezone
21-23 Octobre 2015, Institut de Mathématiques de Toulouse

Catégories, logique linéaire et langages de programmation

22 Oct 2015, 11:40
50m
Amphi Schwartz, bat. 1R3 (Institut de Mathématiques de Toulouse)

Amphi Schwartz, bat. 1R3

Institut de Mathématiques de Toulouse

118 Route de Narbonne 31068 Toulouse
Exposé de recherche sur invitation TopAlg

Speaker

Thomas Ehrhard (Paris 7)

Description

On verra comment les notions de catégorie monoïdale, d'adjonction et de monade/comonade sont intimement liées à la sémantique des langages de programmation fonctionnels et à l'interprétation calculatoire des preuves. Ce lien se comprend bien à travers la logique linéaire, un raffinement de la logique intuitionniste et de la logique classique introduit par Jean-Yves Girard dans les années 1980.

Primary author

Presentation Materials

There are no materials yet.