6 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
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…