Aarhus Sep24

Higher-order Mathematical Operational Semantics, Aarhus University (Slides)