6 citations · 14 across the 8 of their papers we have counts for
1 paper · 2 filters
Valery Isaev
In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.