|
|
 |
|
Vendredi 21 Novembre
| Heure: |
10:30 - 12:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Chemins en ludique non-linéaire |
| Description: |
Alice Pavaux La ludique est une théorie logique basée sur l'interaction, introduite il y a une quinzaine d'années par J.-Y. Girard. Elle s'inscrit dans un contexte marqué par les avancées importantes en théorie de la démonstration et en sémantique des langages de programmation permises par la logique linéaire. On se propose ici d'étudier les mécanismes de l'interaction dans une variante non-linéaire de la ludique, afin de poser les outils nécessaires à l'étude des types dans ce cadre. Cela se fera en décrivant les chemins suivis au cours de l'interaction au sein des desseins, les objets de la ludique. La non-linéarité permet de ne pas se restreindre au fragment multiplicatif-additif de la logique linéaire. |
|
|
