Vendredi 25 Mars

Retour à la vue des calendrier
Vendredi 25 Mars
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: String diagrams for Proof nets
Description: Matteo Acclavio Sequentialization of MELL proof nets needs additional tools extern to interaction nets syntax: connectivity, switchings, boxes and jumps. In this talk we introduce string diagrams syntax for monoidal categories in order to present a model for proof nets (with the relative cut elimination) with a unique local sequentialization criterion for MLL with constants and an idea for a generalization of this result for MELL proof nets.