Glueability of Resource Proof-Structures: Inverting the Taylor Expansion
- Guerrieri, Giulio
- Pellissier, Luc
- Tortora de Falco, Lorenzo
Publication date
January 2020
DOI Publisher
LIPIcs - Leibniz International Proceedings in Informatics. 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) Language
EnglishAbstract
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
Add to ORKG