@article{fiore-2021-coherence, title={Coherence for bicategorical cartesian closed structure}, volume={31}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129521000281}, DOI={10.1017/s0960129521000281}, number={7}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Fiore, Marcelo and Saville, Philip}, year={2021}, month=Aug, pages={822–849} }