Download PDFOpen PDF in browser

Bottom-up Sequentialization of Unit-Free MALL Proof Nets

EasyChair Preprint 8431

8 pagesDate: July 10, 2022

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.

Keyphrases: Multiplicative-additive fragment, linear logic, proof-net, sequentialization

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:8431,
  author    = {Rémi Di Guardia and Olivier Laurent},
  title     = {Bottom-up Sequentialization of Unit-Free MALL Proof Nets},
  howpublished = {EasyChair Preprint 8431},
  year      = {EasyChair, 2022}}
Download PDFOpen PDF in browser