TY  - RPRT
TI  - Two-Level Type Theory and Applications
AU  - Danil Annenkov
AU  - Paolo Capriotti
AU  - Nicolai Kraus
AU  - Christian Sattler
PY  - 2026
DO  - 10.1017/s0960129523000130
UR  - https://arxiv.org/abs/1705.03307
ID  - 1705.03307
ER  -