Our paper Bialgebraic Reasoning on Higher-order Program Equivalence has been accepted for publication at LICS’24!