1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Håkon Robbestad Gylterud, Elisabeth Stenholm
Homotopy type theory (HoTT) can be seen as a generalisation of structural set theory, in the sense that 0-types represent structural sets within the more general notion of types. F…