TY  - RPRT
TI  - Type Theory With Erasure
AU  - Constantine Theocharis
AU  - Edwin Brady
PY  - 2026
UR  - https://arxiv.org/abs/2605.00655
ID  - 2605.00655
ER  -