Created in September 09, 2024
2024
Higher-order Mathematical Operational Semantics, Aarhus University (Slides)