Homotopy theoretic models of identity types (2008)

by Steve Awodey , Michael A. Warren
Citations:20 - 5 self