Editions of Homotopy Type Theory

Filters
The Univalent Foundations Program Institute for Advanced Study: Homotopy Type Theory (2013, The Univalent Foundations Program Institute for Advanced Study)

Homotopy Type Theory

English language

Published Dec. 28, 2013 by The Univalent Foundations Program Institute for Advanced Study.

Can't find the edition you're looking for?