TY  - RPRT
TI  - Against Cumulative Type Theory
AU  - Tim Button
AU  - Robert Trueman
PY  - 2021
UR  - https://arxiv.org/abs/2108.04582
ID  - 2108.04582
ER  -