7 citations · 14 across the 5 of their papers we have counts for
1 paper · 1 filter
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of intere…