@misc{indiciaed7e98dec0f42,
  title = {Bialgebraic Reasoning on Higher-Order Program Equivalence},
  author = {Sergey Goncharov and Stefan Milius and Stelios Tsampas and Henning Urbat},
  year = {2024},
  doi = {10.1145/3661814.3662099},
  url = {https://arxiv.org/abs/2402.00625},
  note = {Source identifier: 2402.00625}
}