11 citations · 38 across the 12 of their papers we have counts for
1 paper · 1 filter
David Jaz Myers
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that th…