134 citations · 234 across the 10 of their papers we have counts for
1 paper · 2 filters
Steve Awodey
An introduction and survey of homotopy type theory in honor of W.W. Tait.