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