Lutz Straßburger, François Lamarche. On Proof Nets for Multiplicative Linear Logic with Units. In Jerzy Marcinkowski, Andrzej Tarlecki, editors, Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings. Volume 3210 of Lecture Notes in Computer Science, pages 145-159, Springer, 2004. [doi]
@inproceedings{StrassburgerL04,
title = {On Proof Nets for Multiplicative Linear Logic with Units},
author = {Lutz Straßburger and François Lamarche},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3210&spage=145},
tags = {logic},
researchr = {https://researchr.org/publication/StrassburgerL04},
cites = {0},
citedby = {0},
pages = {145-159},
booktitle = {Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings},
editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
volume = {3210},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23024-6},
}