TY  - RPRT
TI  - A Two-Level Linear Dependent Type Theory
AU  - Qiancheng Fu
AU  - Hongwei Xi
PY  - 2025
UR  - https://arxiv.org/abs/2309.08673
ID  - 2309.08673
ER  -