会员服务
Kantorovich Functors and Characteristic Logics for Behavioural Distances
Arxiv
0+阅读 · 2023年5月2日
Functorial aggregation
Arxiv
0+阅读 · 2023年4月11日
A Complete V-Equational System for Graded lambda-Calculus
Arxiv
0+阅读 · 2023年4月4日
A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces
Arxiv
0+阅读 · 2023年4月2日
Coinductive control of inductive data types
Arxiv
0+阅读 · 2023年3月29日
Bisimilar States in Uncertain Structures
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top