TY  - RPRT
TI  - Quadratic type checking for objective type theory
AU  - Benno van den Berg
AU  - Martijn den Besten
PY  - 2021
UR  - https://arxiv.org/abs/2102.00905
ID  - 2102.00905
ER  -