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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|