@misc{indiciae6ac03ffc8fd7,
  title = {A type theory for cartesian closed bicategories},
  author = {Marcelo Fiore and Philip Saville},
  year = {2019},
  url = {https://arxiv.org/abs/1904.06538},
  note = {Source identifier: 1904.06538}
}