Les personnes qui possèdent un compte PLM-Mathrice sont invités à l'utiliser.
21-23 octobre 2015
Institut de Mathématiques de Toulouse
Europe/Paris timezone
21-23 Octobre 2015, Institut de Mathématiques de Toulouse
Accueil > Timetable > Contribution details

Contribution Exposé de recherche sur invitation

Institut de Mathématiques de Toulouse - Amphi Schwartz, bat. 1R3
TopAlg

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

Intervenant(s)

  • Thomas EHRHARD

Auteurs principaux

Abstract content

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.