Homotopy Type Theory

Univalent Foundations of Mathematics

by

English language

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

View on OpenLibrary

No rating (0 reviews)

1 edition