Katsumata, Shin-ya
- Codensity Games for Bisimilarity
2019/07/22 by Komorida, Yuichi, Katsumata, Shin-ya, Hu, Nick +2 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation
2021/05/21 by Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens +2 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Graded Hoare Logic and its Categorical Semantics
2020/07/22 by Marco Gaboardi, Shin-ya Katsumata, Gaboardi, Marco +5 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification
- Probabilistic Relational Reasoning via Metrics
2018/07/13 by Arthur Azevedo de Amorim, Marco Gaboardi, de Amorim, Arthur Azevedo +5 · 1 citation
Computer Science · Social Sciences · #Cryptography and Data Security #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data #Programming Languages (cs.PL)