https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/abs/coherence-for-bicategorical-cartesian-closed-structure/9AF32A2CDBDD01A5FB01D9D6DDCD80F0
Coherence for bicategorical cartesian closed structure | Mathematical Structures in Computer...
Coherence for bicategorical cartesian closed structure - Volume 31 Issue 7
cartesian closedmathematical structurescoherencecomputer