MSRI Preprint 1996-092

MSRI Preprint 1996-092


Graph-Based Logic and Sketches II: Finite-Product Categories and Equational Logic (Preliminary Report)

Atish Bagchi and Charles Wells

MSRI Preprint #1996-092


Next Prev List Authors