Jules Desharnais, Bernard Hodgson, John Mullins. Linear Logic. In Chris Brink, Wolfram Kahl, Gunther Schmidt 0001, editors, Relational Methods in Computer Science. Advances in computing science, pages 106-114, Springer, 1997. [doi]
@incollection{DesharnaisHM97,
title = {Linear Logic},
author = {Jules Desharnais and Bernard Hodgson and John Mullins},
year = {1997},
doi = {10.1007/978-3-7091-6510-2_7},
url = {https://doi.org/10.1007/978-3-7091-6510-2_7},
researchr = {https://researchr.org/publication/DesharnaisHM97},
cites = {0},
citedby = {0},
pages = {106-114},
booktitle = {Relational Methods in Computer Science},
editor = {Chris Brink and Wolfram Kahl and Gunther Schmidt 0001},
series = {Advances in computing science},
publisher = {Springer},
isbn = {978-3-211-82971-4},
}