Towards a Higher-Order Bialgebraic Denotational Semantics. - Sergey Goncharov 001; Marco Peressotti; Stelios Tsampas 001; Henning Urbat; Stefano Volpe (CoRR, 2026)