Dept of Computer Science, Queen Mary College, London
Graham White du DCS de Queen Mary a initié une collaboration avec Ruth Kempson (King’s College, London) dans le but de reformuler la syntaxe dynamique dans le cadre de la théorie des types "avec record", qui possède une notion d’incrémentation du contexte. Cela permet d’unifier les hypothèses syntaxique et sémantique. L’avantage fourni par cette reformulation est l’inclusion des types en tant qu’objets de première classe dans les représentations, rendant possible l’expression en un seul format du champs entier des effets attestés dans l’usage de la langue en discours et/ou en dialogue depuis la description des attitudes propositionnelles jusqu’à la spécification des actes de langage. Une des clés de l’apport de la TTR réside dans la construction formelle qui en est la base, à savoir l’intersection dépendante. Formellement, on a un objet (par exemple une chaîne que l’on essaie d’analyser) et on établit que c’est un élément de types de plus en pus petits, qui peuvent eux-mêmes dépendre de types déjà construits. Un ensemble riche de conditions de bord permet alors de refléter les valeurs déjà obtenues et celles qui sont à obtenir : de cette manière, on peut exprimer aisément la croissance d’un arbre conformément à la syntaxe dynamique.
Il est facile de voir ici en quoi cette problématique recoupe celle du présent projet. La ludique possède aussi cette capacité à représenter les types avec intersection, et il est normal dans un tel projet d’envisager la confrontation d’outils formels différents pour décrire des phénomènes semblables.