A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories

A. John Power, Charles Wells. A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. Mathematical Structures in Computer Science, 2(1):1-28, 1992.

Abstract

Abstract is missing.