Formal aspects of Gray's tensor products of 2-categories

From MaRDI portal
Publication:395676