@inproceedings{ahrens-2024-displayed, series={CPP ’24}, title={Displayed Monoidal Categories for the Semantics of Linear Logic}, url={http://dx.doi.org/10.1145/3636501.3636956}, DOI={10.1145/3636501.3636956}, booktitle={Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs}, publisher={ACM}, author={Ahrens, Benedikt and Matthes, Ralph and van der Weide, Niels and Wullaert, Kobe}, year={2024}, month=Jan, pages={260–273}, collection={CPP ’24} }