@article{ahrens-2023-bicategorical, title={Bicategorical type theory: semantics and syntax}, volume={33}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129523000312}, DOI={10.1017/s0960129523000312}, number={10}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Ahrens, Benedikt and North, Paige Randall and van der Weide, Niels}, year={2023}, month=Oct, pages={868–912} }