Homotopy Type Theory

and the

Univalent Foundations of Mathematics

 
 

 


Steve Awodey
awodey@cmu.edu