@article{riehl-2017-a,
  author = {Emily Riehl and Michael Shulman},
  title = {A type theory for synthetic ∞-categories},
  journal = {Higher Structures},
  publisher = {Institute of Mathematics, Czech Academy of Sciences},
  year = {2017},
  month = {12},
  volume = {1},
  number = {1},
  pages = {147--224},
  doi = {10.21136/hs.2017.06}
}