Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

Caractérisation des comportements de la Ludique

Myriam Quatrini
I2M, Aix-Marseille Université
/user/myriam.quatrini/

Date(s) : 17/03/2016   iCal
11h00 - 12h00

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


Secured By miniOrange