Bottom-Up Sequentialization of Unit-Free MALL Proof Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Bottom-Up Sequentialization of Unit-Free MALL Proof Nets

Résumé

We propose a new proof of sequentialization for the proof nets of unit-free multiplicative-additive linear logic of Hughes & Van Glabbeek. This is done by adapting a method from unit-free multiplicative linear logic, showing the robustness of this approach.
Fichier principal
Vignette du fichier
MALL_TLLA_final2.pdf (185.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03719939 , version 1 (11-07-2022)

Identifiants

  • HAL Id : hal-03719939 , version 1

Citer

Rémi Di Guardia, Olivier Laurent. Bottom-Up Sequentialization of Unit-Free MALL Proof Nets. 3rd Joint International Workshop on Linearity and Trends in Linear Logic and its Applications (Linearity & TLLA 2022), Jul 2022, Haifa, Israel. ⟨hal-03719939⟩
51 Consultations
23 Téléchargements

Partager

Gmail Facebook X LinkedIn More