Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Bisimulations pour les opérateurs de contrôle délimité
du 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