A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
scientific article; zbMATH DE number 1857005
scientific article