TY  - RPRT
TI  - Big Steps in Higher-Order Mathematical Operational Semantics
AU  - Sergey Goncharov
AU  - Pouya Partow
AU  - Stelios Tsampas
PY  - 2025
DO  - 10.1145/3747540
UR  - https://arxiv.org/abs/2506.01076
ID  - 2506.01076
ER  -