Big Steps in Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Pouya Partow; Stelios Tsampas 001 (CoRR, 2025)