Created in January 20, 2023
2023
Towards a Higher-Order Mathematical Operational Semantics POPL’23, Boston (Video)