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