fu2023twolevellineardependenttype:
  type: misc
  title: A Two-Level Linear Dependent Type Theory
  author:
  - Fu, Qiancheng
  - Xi, Hongwei
  date: 2023
  url: https://arxiv.org/abs/2309.08673
  serial-number:
    arxiv: '2309.08673'