134 citations · 154 across the 2 of their papers we have counts for
2 papers
math.CT2010★ 20 cited
Type theory and homotopy
Steve Awodey
The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation…
math.LO2007★ 134 cited
Homotopy theoretic models of identity types
Steve Awodey, Michael A. Warren
This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category…