TY  - RPRT
TI  - Native Type Theory
AU  - Christian Williams
AU  - Michael Stay
PY  - 2022
DO  - 10.4204/eptcs.372.9
UR  - https://arxiv.org/abs/2102.04672
ID  - 2102.04672
ER  -