Vers une formulation algébrique de la réalisabilité concurrente : un travail en cours
Mauricio Guillermo
Universidad de la República de Uruguay
http://www.cmat.edu.uy/~mauricio/index-francais.html
Date(s) : 10/11/2022 iCal
11h00 - 12h30
Nous présentons quelques résultats du projet STIC-AmSud « An Algebrization Program for Concurrent Realizability ». Dans une première partie nous exposons comme point de départ la Réalisabilité Concurrente, telle qu’elle a été définie par Beffara en 2005. Ensuite, nous modifierons ces définitions afin d’obtenir un modèle de termes et des règles de typage interprétables sur une structure algébrique (évitant notamment les phénomènes de localisation et d’abstraction).
Enfin, nous introduisons une structure algébrique qui permet d’interpréter le fragment MLL de la LL et le π-calcul sans réplication de la même manière que les Algèbres Implicatives le font avec la Réalisabilité Séquentielle. Pour faire cela nous ferons appel à la présentation combinatoire du π-calcul publiée par Honda & Yoshida en 1994.
En visio ici : https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef
Emplacement
Virtual event
Catégories
