TY  - RPRT
TI  - Formal aspects of Gray's tensor product of 2-categories
AU  - Alexandru E. Stanculescu
PY  - 2012
UR  - https://arxiv.org/abs/1003.1994
ID  - 1003.1994
ER  -