Homotopy type theory: unified foundations of mathematics and computation

Steve Awodey, Robert Harper. Homotopy type theory: unified foundations of mathematics and computation. SIGLOG News, 2(1):37-44, 2015. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: