Author:
Ehrhard Thomas,Jafarrahmani Farzad
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Displayed Monoidal Categories for the Semantics of Linear Logic;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Lifting Star-Autonomy;Lecture Notes in Computer Science;2024
3. Computational expressivity of (circular) proofs with fixed points;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
4. Monoidal reverse differential categories;Mathematical Structures in Computer Science;2022-11
5. Canonical proof-objects for coinductive programming: infinets with infinitely many cuts;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06