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