Our paper Towards a Higher-Order Mathematical Operational Semantics has been accepted for publication at POPL’23!