Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2020.24
URN: urn:nbn:de:0030-drops-116674
URL: https://drops.dagstuhl.de/opus/volltexte/2020/11667/
Guerrieri, Giulio ; Pellissier, Luc ; Tortora de Falco, Lorenzo
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion
| pdf-format: |
|
Abstract
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are part of the Taylor expansion of some MELL proof-structure, through a rewriting system acting both on resource and MELL proof-structures.
BibTeX - Entry
@InProceedings{guerrieri_et_al:LIPIcs:2020:11667,
author = {Giulio Guerrieri and Luc Pellissier and Lorenzo Tortora de Falco},
title = {{Glueability of Resource Proof-Structures: Inverting the Taylor Expansion}},
booktitle = {28th EACSL Annual Conference on Computer Science Logic (CSL 2020)},
pages = {24:1--24:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-132-0},
ISSN = {1868-8969},
year = {2020},
volume = {152},
editor = {Maribel Fern{\'a}ndez and Anca Muscholl},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2020/11667},
URN = {urn:nbn:de:0030-drops-116674},
doi = {10.4230/LIPIcs.CSL.2020.24},
annote = {Keywords: linear logic, Taylor expansion, proof-net, natural transformation}
}
| Keywords: | linear logic, Taylor expansion, proof-net, natural transformation | |
| Seminar: | 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) | |
| Issue date: | 2020 | |
| Date of publication: | 06.01.2020 |
