Publisher
American Mathematical Society
Cited by
89 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces;Information and Computation;2023-12
2. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic;Lecture Notes in Computer Science;2023
3. Compact Inverse Categories;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
4. Logical Foundations of Quantitative Equality;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
5. On sheaf cohomology and natural expansions;São Paulo Journal of Mathematical Sciences;2021-07-06