@misc{indiciae6ab09cf0ee10,
  title = {Bicategorical type theory: semantics and syntax},
  author = {Benedikt Ahrens and Paige Randall North and Niels van der Weide},
  year = {2023},
  doi = {10.1017/s0960129523000312},
  url = {https://arxiv.org/abs/2201.10662},
  note = {Source identifier: 2201.10662}
}