Caractérisation des comportements de la Ludique

Carte non disponible

Date/heure
Date(s) - 17/03/2016
11 h 00 min - 12 h 00 min

Catégories Pas de Catégories


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.

Webpage“>Webpage

Olivier CHABROL
Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange