Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories

Joseph A. Goguen, Rod M. Burstall. Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories. Theoretical Computer Science, 31:175-209, 1984.

Abstract

Abstract is missing.