@misc{indiciaeb148a96ae9b5,
  title = {Towards a Higher-Order Bialgebraic Denotational Semantics},
  author = {Sergey Goncharov and Marco Peressotti and Stelios Tsampas and Henning Urbat and Stefano Volpe},
  year = {2026},
  doi = {10.1145/3828693},
  url = {https://arxiv.org/abs/2602.18295},
  note = {Source identifier: 2602.18295}
}