@misc{indiciae9806e7c02581,
  title = {Graded Hoare Logic and its Categorical Semantics},
  author = {Marco Gaboardi and Shin-ya Katsumata and Dominic Orchard and Tetsuya Sato},
  year = {2021},
  url = {https://arxiv.org/abs/2007.11235},
  note = {Source identifier: 2007.11235}
}