| ||||
| ||||
![]() Title:Bottom-up Sequentialization of Unit-Free MALL Proof Nets Conference:TLLA-LINEARITY-2022 Tags:Linear Logic, Multiplicative-additive fragment, Proof net and Sequentialization 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. Bottom-up Sequentialization of Unit-Free MALL Proof Nets ![]() Bottom-up Sequentialization of Unit-Free MALL Proof Nets | ||||
Copyright © 2002 – 2025 EasyChair |