Equational logic and categorical semantics for multi-languages