|
|
|
Intitulé:
Bisimulations pour les opérateurs de contrôle délimité du groupe Graphes et Logique
|
Date | 2012-04-17 11:00-12:00 |
Titre | Bisimulations pour les opérateurs de contrôle délimité |
Résumé | Nous présentons les premiers résultats sur la définition d'une théorie comportementale pour un lambda-calcul étendu avec les opérateurs de contrôle délimité shift et reset. Dans un premier temps, nous définissons une notion d'équivalence comportementale, que nous cherchons ensuite à caractériser à l'aide de bisimulations (applicative et de forme normale). Nous étudions aussi la relation entre équivalence comportementale et une autre équivalence basée sur une transformation CPS. |
Lieu | salle 76 |
Orateur | Sergueï Lenglet |
Email | serguei.lenglet@gmail.com |
Url | PPS, Université Paris-Diderot |
Aucun document lié à cet événement. RetourRetour à l'index
| |