@misc{indiciae3f6e8450e376,
  title = {Two-Level Type Theory and Applications},
  author = {Danil Annenkov and Paolo Capriotti and Nicolai Kraus and Christian Sattler},
  year = {2026},
  doi = {10.1017/s0960129523000130},
  url = {https://arxiv.org/abs/1705.03307},
  note = {Source identifier: 1705.03307}
}