Gianluigi Bellin, Willem Heijltjes
Proof Nets for Bi-Intuitionistic Linear Logic
FSCD, 2018.
@inproceedings{FSCD-2018-BellinH, author = "Gianluigi Bellin and Willem Heijltjes", booktitle = "{Proceedings of the Third International Conference on Formal Structures for Computation and Deduction}", doi = "10.4230/LIPIcs.FSCD.2018.10", isbn = "978-3-95977-077-4", pages = "18", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{Proof Nets for Bi-Intuitionistic Linear Logic}", year = 2018, }