Homotopy theoretic models of identity types (2009)

by S Awodey, M Warren
Venue:Mathematical Proceedings of the Cambridge Philosophical Society