aberle-2024-foundations:
  type: misc
  title: Foundations of Substructural Dependent Type Theory
  author: Aberle, CB
  date: 2024-01
  serial-number:
    arxiv: '2401.15258'