Bottom-Up Sequentialization of Unit-Free MALL Proof Nets - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

Bottom-Up Sequentialization of Unit-Free MALL Proof Nets

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03719939 , version 1

Cite

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⟩
54 View
23 Download

Share

Gmail Mastodon Facebook X LinkedIn More