TY  - RPRT
TI  - An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
AU  - Jules Chouquet
AU  - Lionel Vaux Auclair
PY  - 2021
DO  - 10.46298/lmcs-17(4:22)2021
UR  - https://arxiv.org/abs/1902.05193
ID  - 1902.05193
ER  -