Popl 23

Towards a Higher-Order Mathematical Operational Semantics
POPL’23, Boston (Video)