@misc{gratzer-2024-directed,
  author = {Daniel Gratzer and Jonathan Weinberger and Ulrik Buchholtz},
  title = {Directed univalence in simplicial homotopy type theory},
  year = {2024},
  month = {7},
  eprint = {2407.09146},
  archiveprefix = {arXiv}
}