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
11 h 00 min - 12 h 30 min

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



Retour en haut 

Secured By miniOrange