Glueability of resource proof-structures: inverting the Taylor expansion (long version)
Logic in Computer Science
2019-10-18 v1 Logic
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.
Keywords
Cite
@article{arxiv.1910.07936,
title = {Glueability of resource proof-structures: inverting the Taylor expansion (long version)},
author = {Giulio Guerrieri and Luc Pellissier and Lorenzo Tortora de Falco},
journal= {arXiv preprint arXiv:1910.07936},
year = {2019}
}