Evènement pour le groupe Graphes et Logique


Date 2012-04-17  11:00-12:00
TitreBisimulations 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. 
Lieusalle 76 
OrateurSergueï Lenglet 
Emailserguei.lenglet@gmail.com 
UrlPPS, Université Paris-Diderot 



Aucun document lié à cet événement.

Retour
Retour à l'index