TY  - RPRT
TI  - Towards a Higher-Order Bialgebraic Denotational Semantics
AU  - Sergey Goncharov
AU  - Marco Peressotti
AU  - Stelios Tsampas
AU  - Henning Urbat
AU  - Stefano Volpe
PY  - 2026
DO  - 10.1145/3828693
UR  - https://arxiv.org/abs/2602.18295
ID  - 2602.18295
ER  -