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
J.w.w., B. Ahrens, R. Matthes, and N. v.d. Weide
Published in CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
J.w.w., B. Ahrens, R. Matthes, and N. v.d. Weide