Displayed Monoidal Categories for the Semantics of Linear Logic
Published in CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
We present a formalization of different categorical structures used to interpret linear logic.
Recommended citation: https://doi.org/10.1145/3636501.3636956