Bottom-Up Sequentialization of Unit-Free MALL Proof Nets
| Autor: | Di Guardia, Rémi, Laurent, Olivier |
|---|---|
| Přispěvatelé: | Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010), ANR-20-CE48-0005,QuaReMe,Méthodes de raisonnement quantitative pour les logiques probabilistiques(2020), Di Guardia, Rémi, Community of mathematics and fundamental computer science in Lyon - - MILYON2010 - ANR-10-LABX-0070 - LABX - VALID, Méthodes de raisonnement quantitative pour les logiques probabilistiques - - QuaReMe2020 - ANR-20-CE48-0005 - AAPG2020 - VALID |
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: | |
| Zdroj: | 3rd Joint International Workshop on Linearity and Trends in Linear Logic and its Applications (Linearity & TLLA 2022) 3rd Joint International Workshop on Linearity and Trends in Linear Logic and its Applications (Linearity & TLLA 2022), Jul 2022, Haifa, Israel |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|