147 citations · 398 across the 15 of their papers we have counts for
1 paper · 1 filter
Steve Awodey, Nicola Gambino, Kristina Sojakova
Homotopy type theory is an interpretation of Martin-Löf's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebrai…