2 papers
cs.LO2026
A Category-Theoretic Framework for Dependent Effect Systems
Satoshi Kura, Marco Gaboardi, Taro Sekiyama +1
Graded monads refine traditional monads using effect annotations in order to describe quantitatively the computational effects that a program can generate. They have been successfu…
cs.LO2025
A Hierarchy of Supermartingales for -Regular Verification
Satoshi Kura, Hiroshi Unno
We propose new supermartingale-based certificates for verifying almost sure satisfaction of -regular properties: (1) generalised Streett supermartingales (GSSMs) and their lexic…