会员服务
Functoriality of Enriched Data Types
Arxiv
0+阅读 · 1月2日
Traces via Strategies in Two-Player Games
Arxiv
0+阅读 · 1月2日
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Arxiv
0+阅读 · 1月2日
Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
Arxiv
0+阅读 · 2025年12月28日
Functoriality of Enriched Data Types
Arxiv
0+阅读 · 2025年12月15日
Traces via Strategies in Two-Player Games
Arxiv
0+阅读 · 2025年12月15日
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Arxiv
0+阅读 · 2025年12月15日
Kleene Algebra
Arxiv
0+阅读 · 2025年11月14日
Kantorovich Functors and Characteristic Logics for Behavioural Distances
Arxiv
0+阅读 · 2023年5月2日
Coinductive control of inductive data types
Arxiv
0+阅读 · 2023年3月29日
参考链接
微信扫码咨询专知VIP会员
Top