Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics. - Ambrus Kaposi; Szumi Xie (FSCD, 2024)