@misc{indiciae811d1d7fc378,
  title = {For the Metatheory of Type Theory, Internal Sconing Is Enough},
  author = {Rafaël Bocquet and Ambrus Kaposi and Christian Sattler},
  year = {2023},
  url = {https://arxiv.org/abs/2302.05190},
  note = {Source identifier: 2302.05190}
}