Fossacs 2024

Our paper Logical Predicates in Higher-Order Mathematical Operational Semantics has been accepted for publication at FoSSaCS’24!