会员服务
Classical Explanations in (and of) General Probabilistic Theories
Arxiv
0+阅读 · 6月13日
Univalent Enriched Categories and the Enriched Rezk Completion
Arxiv
0+阅读 · 6月1日
Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
Arxiv
0+阅读 · 5月15日
Graded Monad Coalgebras for Continuous-Time Transition Systems
Arxiv
0+阅读 · 5月7日
A Fibrational Perspective on Differential Linear Logic
Arxiv
0+阅读 · 5月8日
A formulation of D-institution using functor categories
Arxiv
0+阅读 · 5月5日
Multicategorical Semantics for Untyped Effects
Arxiv
0+阅读 · 5月20日
Syntax and semantics of focalisation with relative monads and comonads
Arxiv
0+阅读 · 6月12日
Full Definability in a Profunctorial Model
Arxiv
0+阅读 · 4月29日
Compositional Program Verification with Polynomial Functors in Dependent Type Theory
Arxiv
0+阅读 · 4月1日
Towards a Higher-Order Mathematical Operational Semantics
Arxiv
0+阅读 · 4月28日
Intrinsically Correct Algorithms and Recursive Coalgebras
Arxiv
0+阅读 · 3月27日
Intrinsically Correct Algorithms and Recursive Coalgebras
Arxiv
0+阅读 · 4月17日
Coalgebras for categorical deep learning: Representability and universal approximation
Arxiv
0+阅读 · 3月3日
Polynomial Universes in Homotopy Type Theory
Arxiv
0+阅读 · 2月27日
参考链接
微信扫码咨询专知VIP会员
Top