## Jules Chouquet, Lionel Vaux Auclair

*An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets*

CSL, 2018.

@inproceedings{CSL-2018-ChouquetA, author = "Jules Chouquet and Lionel Vaux Auclair", booktitle = "{Proceedings of the 27th EACSL Annual Conference on Computer Science Logic}", doi = "10.4230/LIPIcs.CSL.2018.15", isbn = "978-3-95977-088-0", pages = "17", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets}", year = 2018, }