Created in March 22, 2026
2026
Our paper Higher-Order Bialgebraic Semantics has been accepted for publication at JFP!