@misc{aberle-2024-foundations,
  author = {CB Aberle},
  title = {Foundations of Substructural Dependent Type Theory},
  year = {2024},
  month = {1},
  eprint = {2401.15258},
  archiveprefix = {arXiv}
}