@misc{indiciae48a2227f43e8,
  title = {A Type Theory for Strictly Unital \$\textbackslash{}infty\$-Categories},
  author = {Eric Finster and David Reutter and Alex Rice and Jamie Vicary},
  year = {2022},
  doi = {10.1145/3531130.3533363},
  url = {https://arxiv.org/abs/2007.08307},
  note = {Source identifier: 2007.08307}
}