Myriam Quatrini
I2M, Aix-Marseille Université
/user/myriam.quatrini/
Date(s) : 17/03/2016 iCal
11 h 00 min - 12 h 00 min
J.-Y. Girard a développé, au début des années 2000, une théorie logique : la Ludique, dans laquelle l’interaction est la notion primitive. En collaboration avec Christophe Fouqueré, dans un contexte d’utilisation de la Ludique comme cadre de formalisation des dialogues en langue naturelle, nous nous intéressons à l’étude des comportements. Ces objets sont la contrepartie ludique des formules logiques et des types, avec la particularité de ne pas être donnés a priori mais d’être engendrés par des ensembles quelconques de desseins qui sont eux la contrepartie ludique des preuves/lambda-termes/stratégies.
Catégories