Fossacs 24

Logical Predicates in Higher-order Mathematical Operational Semantics
FoSSaCS’24, Luxembourg City (Slides)