@misc{indiciae76365d20c503,
  title = {A Categorical Framework for Program Semantics and Semantic Abstraction},
  author = {Shin-ya Katsumata and Xavier Rival and Jérémy Dubut},
  year = {2023},
  doi = {10.46298/entics.12288},
  url = {https://arxiv.org/abs/2309.08822},
  note = {Source identifier: 2309.08822}
}