speight-2026-impredicativity:
  type: misc
  title: Impredicativity in Linear Dependent Type Theory
  author:
  - Speight, Sam
  - name: Weide
    given-name: Niels
    prefix: van der
  date: 2026-02
  serial-number:
    arxiv: '2602.08846'