Semantics for Algebraic Operations

Gordon D. Plotkin, John Power. Semantics for Algebraic Operations. Electronic Notes in Theoretical Computer Science, 45:332-345, 2001. [doi]