会员服务
Interaction Improvement
Arxiv
0+阅读 · 1月4日
Compact Quantitative Theories of Convex Algebras
Arxiv
0+阅读 · 1月2日
PSPACE-Completeness of the Equational Theory of Relational Kleene Algebra with Graph Loop
Arxiv
0+阅读 · 2025年12月28日
The Tensor-Plus Calculus
Arxiv
0+阅读 · 2025年12月26日
Type Isomorphisms for Multiplicative-Additive Linear Logic
Arxiv
0+阅读 · 2025年11月20日
Compact Quantitative Theories of Convex Algebras
Arxiv
0+阅读 · 2025年11月6日
Compact Quantitative Theories of Convex Algebras
Arxiv
0+阅读 · 2025年12月15日
Gradual Typing for Effect Handlers
Arxiv
0+阅读 · 2023年4月4日
The Zeta Calculus
Arxiv
0+阅读 · 2023年3月30日
参考链接
微信扫码咨询专知VIP会员
Top