Skip to Main content Skip to Navigation
Conference papers

Glueability of resource proof-structures: inverting the Taylor expansion

Abstract : A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a (infinite) 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02957862
Contributor : Luc Pellissier <>
Submitted on : Monday, October 5, 2020 - 2:26:13 PM
Last modification on : Thursday, October 8, 2020 - 3:09:45 AM

File

2020 CSL.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Glueability of resource proof-structures: inverting the Taylor expansion. 28th EACSL Annual Conference on Computer Science Logic, Jan 2020, Barcelone, Spain. ⟨10.4230/LIPIcs.CSL.2020.24⟩. ⟨hal-02957862⟩

Share

Metrics

Record views

29

Files downloads

48