Machines abstraites pour jeux de dialogue
Abstract Machines for Dialogue Games
Panoramas et Synthèses | 2009
Anglais
La notion d'arbre de Böhm abstrait, introduite et étudiée dans les deux articles, est une distillation de travaux en sémantique des jeux, issue d'une volonté d'en expliciter la nature calculatoire. Cet article réexamine cette notion, en fournissant un support syntaxique plus conséquent ainsi que des exemples plus nombreux (comme l'évaluation en appel par valeur), et illustre ainsi la généralité du dispositif de calcul sous-jacent.
Machines abstraites, sémantique des jeux, langages de programmation, lambda-calcul