34 citations · 95 across the 15 of their papers we have counts for
1 paper · 2 filters
Egbert Rijke
The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the…