Homotopy Type Theory
semi-simplicial types > history
<
semi-simplicial types in homotopy type theory
category:
redirected to nlab