@misc{speight-2026-impredicativity,
  author = {Sam Speight and Niels van der Weide},
  title = {Impredicativity in Linear Dependent Type Theory},
  year = {2026},
  month = {2},
  eprint = {2602.08846},
  archiveprefix = {arXiv}
}