Semi-simplicial Types in Logic-enriched Homotopy Type Theory

Fedor Part, Zhaohui Luo

The problem of defining Semi-Simplicial Types (SSTs) in Homotopy Type Theory (HoTT) has been recognized as important during the Year of Univalent Foundations at the Institute of Ad…