The category of sketches as a model for algebraic semantics (1989)

by J W Gray
Venue:In Categories in Computer Science and Logic. V.92ofContemporary Mathematics. AMS