@misc{indiciaebf354d8930f1,
  title = {Deriving Program Logics from Distributive Monoidal Categories},
  author = {Filippo Bonchi and Elena Di Lavore and Mario Román and Sam Staton},
  year = {2026},
  url = {https://arxiv.org/abs/2507.18238},
  note = {Source identifier: 2507.18238}
}