@misc{zhang-2023-three,
  author = {Tesla Zhang},
  title = {Three non-cubical applications of extension types},
  year = {2023},
  month = {11},
  eprint = {2311.05658},
  archiveprefix = {arXiv}
}