TY  - RPRT
TI  - A general definition of dependent type theories
AU  - Andrej Bauer
AU  - Philipp G. Haselwarter
AU  - Peter LeFanu Lumsdaine
PY  - 2020
UR  - https://arxiv.org/abs/2009.05539
ID  - 2009.05539
ER  -