6 citations · 11 across the 6 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2015
Homotopy-initial algebras in type theory
Steve Awodey, Nicola Gambino, Kristina Sojakova
We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion…
math.LO2012★ 5 cited
Inductive types in homotopy type theory
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…