A functorial semantics for multi-algebras and partial algebras, with applications to syntax.

Andrea Corradini Fabio Gadducci A functorial semantics for multi-algebras and partial algebras, with applications to syntax. 293-322 2002 286 Theor. Comput. Sci. 2 db/journals/tcs/tcs286.html#CorradiniG02