Homotopy Type Theory

Univalent Foundations of Mathematics

English language

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

View on OpenLibrary

No rating (0 reviews)

1 edition