Homotopy Type Theory semi-simplicial types > history

< semi-simplicial types in homotopy type theory