Coherence for Bicategories with Finite Bilimits I (0)

by A J Power
Venue:Categories in Computer Science and Logic, Contemporary Mathematics 92 (1989), AMS