TY  - RPRT
TI  - Bicategorical type theory: semantics and syntax
AU  - Benedikt Ahrens
AU  - Paige Randall North
AU  - Niels van der Weide
PY  - 2023
DO  - 10.1017/s0960129523000312
UR  - https://arxiv.org/abs/2201.10662
ID  - 2201.10662
ER  -