会员服务
Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
Arxiv
0+阅读 · 6月6日
A Coalgebraic Dijkstra Algorithm
Arxiv
0+阅读 · 5月21日
From Coalgebraic Determinization to Belief Construction for Partial Observability
Arxiv
0+阅读 · 5月18日
Compositionality in Coalgebraic Trace Semantics
Arxiv
0+阅读 · 5月18日
Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
Arxiv
0+阅读 · 5月15日
Graded Monad Coalgebras for Continuous-Time Transition Systems
Arxiv
0+阅读 · 5月7日
Compositional Program Verification with Polynomial Functors in Dependent Type Theory
Arxiv
0+阅读 · 4月1日
Intrinsically Correct Algorithms and Recursive Coalgebras
Arxiv
0+阅读 · 3月27日
Intrinsically Correct Algorithms and Recursive Coalgebras
Arxiv
0+阅读 · 4月17日
A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
Arxiv
0+阅读 · 4月1日
Coalgebras for categorical deep learning: Representability and universal approximation
Arxiv
0+阅读 · 3月3日
A No-go Theorem for Coalgebraic Product Construction
Arxiv
0+阅读 · 2月21日
Coalgebraic analysis of social systems
Arxiv
0+阅读 · 2月26日
Well-Founded Coalgebras Meet König's Lemma
Arxiv
0+阅读 · 2月19日
Well-Founded Coalgebras Meet König's Lemma
Arxiv
0+阅读 · 2月9日
参考链接
微信扫码咨询专知VIP会员
Top