5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…