fiore_saville_2020:
  type: article
  title: Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure
  author:
  - Fiore, Marcelo
  - Saville, Philip
  date: 2020-07
  page-range: 425-439
  url: http://dx.doi.org/10.1145/3373718.3394769
  serial-number:
    doi: 10.1145/3373718.3394769
  parent:
    type: proceedings
    title: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
    publisher: ACM
    parent:
      type: proceedings
      title: LICS ’20