TY  - RPRT
TI  - A General Framework for the Semantics of Type Theory
AU  - Taichi Uemura
PY  - 2023
DO  - 10.1017/s0960129523000208
UR  - https://arxiv.org/abs/1904.04097
ID  - 1904.04097
ER  -