## Willem Heijltjes

*Proof Nets for Additive Linear Logic with Units*

LICS, 2011.

@inproceedings{LICS-2011-Heijltjes, author = "Willem Heijltjes", booktitle = "{Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2011.9", isbn = "978-0-7695-4412-0", pages = "207--216", publisher = "{IEEE Computer Society}", title = "{Proof Nets for Additive Linear Logic with Units}", year = 2011, }