@misc{indiciae4f13c36ded94,
  title = {Nominal Type Theory by Nullary Internal Parametricity},
  author = {Antoine Van Muylder and Andreas Nuyts and Dominique Devriese},
  year = {2026},
  doi = {10.4230/lipics.types.2025.12},
  url = {https://arxiv.org/abs/2512.09464},
  note = {Source identifier: 2512.09464}
}