@article{Herbelin15,
  author      = {Hugo Herbelin},
  title       = {A dependently-typed construction of semi-simplicial types},
  journal     = {Mathematical Structures in Computer Science},
  volume      = {25},
  issue       = {Special Issue 05},
  month       = {6},
  year        = {2015},
  pages       = {1116--1131},
  numpages    = {16},
  doi         = {10.1017/S0960129514000528},
  URL         = {http://journals.cambridge.org/article_S0960129514000528},
}