会员服务
Case Study: Saturations as Explicit Models in Equational Theories
Arxiv
0+阅读 · 2月18日
A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
Arxiv
0+阅读 · 2月6日
Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
Arxiv
0+阅读 · 2月10日
Polycontrolled PROPs for Qudit Circuits: A Uniform Complete Equational Theory For Arbitrary Finite Dimension
Arxiv
0+阅读 · 2月10日
An Elementary Proof of the FMP for Kleene Algebra
Arxiv
0+阅读 · 1月14日
Partial Reductions for Kleene Algebra with Linear Hypotheses
Arxiv
0+阅读 · 1月20日
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