@inproceedings{fiore_saville_2020, series={LICS ’20}, title={Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure}, url={http://dx.doi.org/10.1145/3373718.3394769}, DOI={10.1145/3373718.3394769}, booktitle={Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher={ACM}, author={Fiore, Marcelo and Saville, Philip}, year={2020}, month=jul, pages={425–439}, collection={LICS ’20} }