会员服务
Strong Normalization for the Safe Fragment of a Minimal Rewrite Calculus: A Triple-Lexicographic Proof and a Conjecture on Full-Termination Limits for Pure Recursive Calculi (PRC)
Arxiv
0+阅读 · 2月21日
Cubical coherent confluence, $ω$-groupoids and the cube equation
Arxiv
0+阅读 · 2025年12月10日
参考链接
微信扫码咨询专知VIP会员
Top