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