Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert. Displayed Monoidal Categories for the Semantics of Linear Logic. In Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. pages 260-273, ACM, 2024. [doi]
@inproceedings{AhrensMWW24,
title = {Displayed Monoidal Categories for the Semantics of Linear Logic},
author = {Benedikt Ahrens and Ralph Matthes and Niels van der Weide and Kobe Wullaert},
year = {2024},
doi = {10.1145/3636501.3636956},
url = {https://doi.org/10.1145/3636501.3636956},
researchr = {https://researchr.org/publication/AhrensMWW24},
cites = {0},
citedby = {0},
pages = {260-273},
booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024},
editor = {Amin Timany and Dmitriy Traytel and Brigitte Pientka and Sandrine Blazy},
publisher = {ACM},
}