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