Lics 2023

Our paper Weak Similarity in Higher-Order Mathematical Operational Semantics has been accepted for publication at LICS’23!