TYPE THEORY AND HOMOTOPY

by Steve Awodey
Citations:4 - 0 self