Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Di Guardia, Rémi"'
Autor:
Di Guardia, Rémi, Laurent, Olivier
We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for the multiplicative fragment by Balat and Di Cosmo. This yields a much r
Externí odkaz:
http://arxiv.org/abs/2402.11987
Autor:
Di Guardia, Rémi, Laurent, Olivier
Publikováno v:
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
3rd Joint International Workshop on Linearity and Trends in Linear Logic and its Applications (Linearity & TLLA 2022), Jul 2022, Haifa, Israel
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 t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bfbfa98add624531819061d865648f17
https://hal.science/hal-03719939/file/MALL_TLLA_final2.pdf
https://hal.science/hal-03719939/file/MALL_TLLA_final2.pdf