@misc{indiciaeda63406b6b7c,
  title = {Big Steps in Higher-Order Mathematical Operational Semantics},
  author = {Sergey Goncharov and Pouya Partow and Stelios Tsampas},
  year = {2025},
  doi = {10.1145/3747540},
  url = {https://arxiv.org/abs/2506.01076},
  note = {Source identifier: 2506.01076}
}