11 citations · 38 across the 12 of their papers we have counts for
1 paper · 2 filters
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…