Gaboardi, Marco ; Katsumata, Shin-Ya ; Orchard, Dominic. M. Gaboardi, S.-.Y. Katsumata, D. Orchard, T. Sato. "Graded Hoare Logic and its Categorical Semantics." Programming Languages and Systems. ESOP 2021. https://doi.org/10.1007/978-3-030-72019-3_9.
,
2021