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
Recommended citation: https://doi.org/10.1145/3636501.3636956
Published in CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
Recommended citation: https://doi.org/10.1145/3636501.3636956