Evènement pour le groupe Graphes et Logique


Date 2009-11-17  11:00-12:00
TitreUne approche Ludique de la Focalisation 
RésuméLa propriété de Focalisation est un résultat essentiel de la théorie de la démonstration de la logique linéaire qui met en évidence le rôle essentiel de la polarité en logique. La Focalisation a permis des avancées importantes, allant de la programmation logique linéaire aux sémantiques de jeux. La ludique, quant à elle, est un formalisme logique introduit par Girard il y a une dizaine d'années dont l'élément de base est la notion d'interaction et que Terui a revisité il y a un an en apportant de nouvelles perspectives. Dans cet exposé qui est le résultat d'une collaboration avec Basaldella et Terui, je présenterai une analyse interactive de la propriété de focalisation menée dans le cadre de la Ludique. J'expliquerai également les motivations initiales de ce travail provenant de la remarque que la propriété de focalisation peut être vue comme reliée à des résultats de théorie de la complexité. 
LieuSalle 76 
OrateurAlexis Saurin 
UrlPPS, Paris 7 



Aucun document lié à cet événement.

Retour
Retour à l'index