@inproceedings{e18ef93804b241eb83798ff1454dbe41,
title = "Computing connected proof(-Structure)s from their taylor expansion",
abstract = "We show that every connected Multiplicative Exponential Linear Logic (MELL) proof-structure (with or without cuts) is uniquely determined by a well-chosen element of its Taylor expansion: the one obtained by taking two copies of the content of each box. As a consequence, the relational model is injective with respect to connected MELL proof-structures.",
keywords = "(differential) linear logic, Proof-nets, Relational model, Taylor expansion",
author = "Giulio Guerrieri and Luc Pellissier and {De Falco}, {Lorenzo Tortora}",
year = "2016",
month = jun,
day = "1",
doi = "10.4230/LIPIcs.FSCD.2016.20",
language = "English",
volume = "52",
series = "LIPIcs : Leibniz International Proceedings in Informatics",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Delia Kesner and Brigitte Pientka",
booktitle = "1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016",
address = "Germany",
note = "1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016 ; Conference date: 22-06-2016 Through 26-06-2016",
}