 |
 |
|
Evènement pour le groupe Graphes et Logique
| Date | 2009-11-17 11:00-12:00 |
| Titre | Une 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é. |
| Lieu | Salle 76 |
| Orateur | Alexis Saurin |
| Url | PPS, Paris 7 |
Aucun document lié à cet événement. RetourRetour à l'index
| |