Back to Results
First PageMeta Content
Homotopy type theory / Homotopy / Mathematical logic / Algebraic topology / Homotopy group / Homotopy theory / Topology / Mathematics


Homotopy Type Theory and Univalent Foundations of Mathematics Steve Awodey Carnegie Mellon University
Add to Reading List

Document Date: 2014-06-01 15:27:30

Open Document

File Size: 812,93 KB

Share Result on Facebook

Facility

Mathematics Steve Awodey Carnegie Mellon University / /

Organization

Carnegie Mellon University / /

SocialTag