gratzer-2024-directed:
  type: misc
  title: Directed univalence in simplicial homotopy type theory
  author:
  - Gratzer, Daniel
  - Weinberger, Jonathan
  - Buchholtz, Ulrik
  date: 2024-07
  serial-number:
    arxiv: '2407.09146'