@inproceedings{strassburger:inria-00100244, TITLE = {{On Proof Nets for Multiplicative Linear Logic with Units}}, AUTHOR = {Strassburger, Lutz and Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00100244}, NOTE = {13th Annual Conference of the EACSL. Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{18th International Workshop on Computer Science Logic - CSL'2004}}, ADDRESS = {Karpacz, Poland}, HAL_LOCAL_REFERENCE = {A04-R-032 || strassburger04a}, EDITOR = {Jerzy Marcinkowski and Andrzej Tarlecki}, PUBLISHER = {{Springer-Verlag}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {3210}, PAGES = {145--159}, YEAR = {2004}, KEYWORDS = {autonomy ; logique lin{\'e}aire ; linear logic ; proof nets ; cut elimination ; r{\'e}seaux de d{\'e}monstration ; {\'e}limination de coupures ; autonomie}, HAL_ID = {inria-00100244}, HAL_VERSION = {v1}, }