21-23 octobre 2015
Institut de Mathématiques de Toulouse
Fuseau horaire Europe/Paris
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

Orateur

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.

Auteur principal

Documents de présentation

Aucun document.
Your browser is out of date!

Update your browser to view this website correctly. Update my browser now

×