Lyon May24

Logical Relations (and more) in Higher-order Mathematical Operational Semantics
Invited talk, Chocola Meeting, Lyon (Slides)