Cartesian bicategories (1987)

by Aurelio Carboni, Robert Walters
Venue:I. Journal of Pure and Applied Algebra